( en | de | ru )

 

Disambiguierung von "Montanari, Ugo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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.

Federico Montanari

Ugo Marchand

Ugo Gentile

Ugo Merkli

Elke Montanari

 

Weitere Publikationen von Autoren mit dem selben Namen

The tile model., und . Proof, Language, and Interaction, Seite 133-166. The MIT Press, (2000)Final semantics for the pi-calculus., , , und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 225-243. Chapman & Hall, (1998)Networks of constraints: Fundamental properties and applications to picture processing.. Inf. Sci., (1974)On the Minimization of READ-ONLY Memories in Microprogrammed Digital Computers., und . IEEE Trans. Computers, 19 (11): 1111-1114 (1970)Concurrency and Probability: Removing Confusion, Compositionally., , und . CoRR, (2017)Dynamic Programming on Nominal Graphs., , und . GaM, Volume 181 von EPTCS, Seite 80-96. (2015)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)A Modular LTS for Open Reactive Systems., , und . IFIP TCS, Volume 7604 von Lecture Notes in Computer Science, Seite 134-148. Springer, (2012)On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs., , , und . Fundam. Informaticae, 134 (3-4): 287-317 (2014)