Autor der Publikation

Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.

, , , , und . Dagstuhl Seminar on Graph Transformations in Computer Science, Volume 776 von Lecture Notes in Computer Science, Seite 119-137. Springer, (1993)

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

Connector Algebras, Petri Nets, and BIP., , und . Ershov Memorial Conference, Volume 7162 von Lecture Notes in Computer Science, Seite 19-38. Springer, (2011)Mapping Fusion and Synchronized Hyperedge Replacement into logic programming., und . Theory Pract. Log. Program., 7 (1-2): 123-151 (2007)Soft concurrent constraint programming., , und . ACM Trans. Comput. Log., 7 (3): 563-589 (2006)Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations., , und . Math. Struct. Comput. Sci., 7 (3): 241-282 (1997)On the Semantics of Place/Transition Petri Nets., , und . Math. Struct. Comput. Sci., 7 (4): 359-397 (1997)Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic., , und . Math. Struct. Comput. Sci., 12 (1): 53-90 (2002)On the Minimization of READ-ONLY Memories in Microprogrammed Digital Computers., und . IEEE Trans. Computers, 19 (11): 1111-1114 (1970)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)Optimal Smoothing in Picture Processing: An Application to Fingerprints., und . IFIP Congress (1), Seite 173-178. North-Holland, (1971)Executing Transactions in Zero-Safe Nets., und . ICATPN, Volume 1825 von Lecture Notes in Computer Science, Seite 83-102. Springer, (2000)