Autor der Publikation

Graph Grammars and Logic Programming.

, , , , und . Graph-Grammars and Their Application to Computer Science, Volume 532 von Lecture Notes in Computer Science, Seite 221-237. Springer, (1990)

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

Final semantics for the pi-calculus., , , und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 225-243. Chapman & Hall, (1998)Graph rewriting with unification and composition, , und . Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2–6, 1986, Volume 291 von Lecture Notes in Computer Science, Seite 496-514. Springer, (1987)Soft constraints for KnowLang., und . C3S2E, Seite 99-103. ACM, (2012)Labeled Event Structures: A Model for Observable Concurrency., , und . Formal Description of Programming Concepts, Seite 383-400. North-Holland, (1982)The tile model., und . Proof, Language, and Interaction, Seite 133-166. The MIT Press, (2000)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., und . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs., , , und . Sci. Comput. Program., 30 (1-2): 51-82 (1998)D-Fusion: A Distinctive Fusion Calculus., , und . APLAS, Volume 3302 von Lecture Notes in Computer Science, Seite 296-310. Springer, (2004)Liveness Properties as Convergence in Metric Spaces, und . STOC, Seite 31-38. ACM, (1984)Graph rewriting with unification and composition., , und . Graph-Grammars and Their Application to Computer Science, Volume 291 von Lecture Notes in Computer Science, Seite 496-514. Springer, (1986)