Autor der Publikation

The Geometry of Orthogonal Reduction Spaces.

, und . ICALP, Volume 1256 von Lecture Notes in Computer Science, Seite 649-659. Springer, (1997)

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

A Relational Database for Minicomputers., , und . BNOD, Seite 151-164. (1981)The Geometry of Orthogonal Reduction Spaces., und . ICALP, Volume 1256 von Lecture Notes in Computer Science, Seite 649-659. Springer, (1997)IWIM Semantics via Fibred Automata., , , und . Formal Methods and Component Interaction @ ICALP, Volume 66 von Electronic Notes in Theoretical Computer Science, Seite 1-15. Elsevier, (2002)An Abstract Böhm-normalization., und . WRS, Volume 70 von Electronic Notes in Theoretical Computer Science, Seite 118-134. Elsevier, (2002)Relative Normalization in Orthogonal Expression Reduction Systems., und . CTRS, Volume 968 von Lecture Notes in Computer Science, Seite 144-165. Springer, (1994)Relative Normalization in Deterministic Residual Structures., und . CAAP, Volume 1059 von Lecture Notes in Computer Science, Seite 180-195. Springer, (1996)Dactl: an experimental graph rewriting language., , , und . J. Program. Lang., 5 (1): 85-108 (1997)Discrete Normalization and Standardization in Deterministic Residual Structures., und . ALP, Volume 1139 von Lecture Notes in Computer Science, Seite 135-149. Springer, (1996)The development of language processing support for the ViSiCAST project., , , und . ASSETS, Seite 101-108. ACM, (2000)Generation of dataflow graphical object code for the Lapse programming language., , und . CONPAR, Volume 111 von Lecture Notes in Computer Science, Seite 155-168. Springer, (1981)