Autor der Publikation

Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics.

, und . JELIA, Volume 838 von Lecture Notes in Computer Science, Seite 379-399. Springer, (1994)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics., und . Comput. Lang., 22 (2/3): 51-77 (1996)Support to Collaboration for Wealth and Estate Planning Using the SEPlanS Platform., , , und . EWG-DSS, Volume 121 von Lecture Notes in Business Information Processing, Seite 121-133. Springer, (2011)Synchronisation in Scc., , , und . ILPS, Seite 641. MIT Press, (1995)Multi-Prolog: Definition, Operational Semantics and Implementation., und . ICLP, Seite 299-313. MIT Press, (1993)Verifying Logic Programs from Metric Semantic Characterizations.. ICLP Workshop on Construction of Logic Programs, Seite 189-211. Wiley, (1991)A Process Algebra for Synchronous Concurrent Constraint Programming., , , und . ALP, Volume 1139 von Lecture Notes in Computer Science, Seite 165-178. Springer, (1996)Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics., und . JELIA, Volume 838 von Lecture Notes in Computer Science, Seite 379-399. Springer, (1994)Multi-agent Systems as Concurrent Constraint Processes., , , und . SOFSEM, Volume 2234 von Lecture Notes in Computer Science, Seite 201-210. Springer, (2001)Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003., , und . Electron. Notes Theor. Comput. Sci., (2004)Preface., , , und . Sci. Comput. Program., 61 (2): 73-74 (2006)