( en | de | ru )

 

Disambiguierung von "Montanari, Ugo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Theorem Proving with Structure Sharing and Efficient Unification.

, und . IJCAI, Seite 543. William Kaufmann, (1977)

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

Concurrency and Probability: Removing Confusion, Compositionally., , und . CoRR, (2017)Dynamic Programming on Nominal Graphs., , und . GaM, Volume 181 von EPTCS, Seite 80-96. (2015)Soft constraints for KnowLang., und . C3S2E, Seite 99-103. ACM, (2012)Labeled Event Structures: A Model for Observable Concurrency., , und . Formal Description of Programming Concepts, Seite 383-400. North-Holland, (1982)Liveness Properties as Convergence in Metric Spaces, und . STOC, Seite 31-38. ACM, (1984)D-Fusion: A Distinctive Fusion Calculus., , und . APLAS, Volume 3302 von Lecture Notes in Computer Science, Seite 296-310. Springer, (2004)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)On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs., , , und . Fundam. Informaticae, 134 (3-4): 287-317 (2014)Reconfigurable and Software-Defined Networks of Connectors and Components., , und . The ASCENS Approach, Volume 8998 von Lecture Notes in Computer Science, Springer, (2015)Combining CCS and Petri Nets Via Structural Axioms., und . Fundam. Informaticae, 20 (1/2/3): 193-229 (1994)