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

Restriction Constructions in Specification Logics., und . Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)Algebraic Specification.. Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)Concurrent Transformations of Graphs and Relational Structures., und . WG, Seite 76-88. Universitätsverlag Rudolf Trauner, Linz, (1983)Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars., und . Graph-Grammars and Their Application to Computer Science, Volume 532 von Lecture Notes in Computer Science, Seite 292-310. Springer, (1990)Fundamentals of Algebraic Specification 2, und . EATCS Monographs on Theoretical Computer Science Springer, (1990)Grammars on Partial Graphs., und . Acta Inf., (1976)Revie of Dines Bjørner's Textbooks Software Engineering 1-3.. Bulletin of the EATCS, (2006)Universal Theory of Automata. A Categorical Approach, und . Studienbücher Informatik Teubner, (1974)The Construct PRO of Projection Spaces: Its Internal Structure., und . Categorial Methods in Computer Science, Volume 393 von Lecture Notes in Computer Science, Seite 286-293. Springer, (1988)Semantical Constructions for Categories of Behavioural Specifications., , und . Categorial Methods in Computer Science, Volume 393 von Lecture Notes in Computer Science, Seite 220-243. Springer, (1988)