Autor der Publikation

Infinitary Lambda Calculi and Böhm Models.

, , , und . RTA, Volume 914 von Lecture Notes in Computer Science, Seite 257-270. Springer, (1995)

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

The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems.. ESOP, Volume 432 von Lecture Notes in Computer Science, Seite 256-270. Springer, (1990)Experience with and Requirements for a Gesture Description Language for Synthetic Animation.. Gesture Workshop, Volume 2915 von Lecture Notes in Computer Science, Seite 300-311. Springer, (2003)On Ön Graph Rewritings" (Corrigendum).. Theor. Comput. Sci., (1988)Graph Rewriting in Some Categories of Partial Morphisms.. Graph-Grammars and Their Application to Computer Science, Volume 532 von Lecture Notes in Computer Science, Seite 490-504. Springer, (1990)Expressions as Processes., und . Symposium on LISP and Functional Programming, Seite 21-28. ACM, (1982)Control of a multi-legged robot based on hierarchical PCT. Journal on Perceptual Control Theory, (März 1999)Infinitary Lambda Calculi and Böhm Models., , , und . RTA, Volume 914 von Lecture Notes in Computer Science, Seite 257-270. Springer, (1995)Syntactic Definitions of Undefined: On Defining the Undefined., , , , und . TACS, Volume 789 von Lecture Notes in Computer Science, Seite 543-554. Springer, (1994)Infinitary Rewriting: From Syntax to Semantics., , , und . Processes, Terms and Cycles, Volume 3838 von Lecture Notes in Computer Science, Seite 148-172. Springer, (2005)On Ön Graph Rewritings".. Theor. Comput. Sci., (1987)