( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.

, , , , и . Dagstuhl Seminar on Graph Transformations in Computer Science, том 776 из Lecture Notes in Computer Science, стр. 119-137. Springer, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Federico Montanari

Ugo Marchand

Ugo Gentile

Ugo Merkli

Elke Montanari

 

Другие публикации лиц с тем же именем

Final semantics for the pi-calculus., , , и . PROCOMET, том 125 из IFIP Conference Proceedings, стр. 225-243. Chapman & Hall, (1998)Graph rewriting with unification and composition, , и . Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2–6, 1986, том 291 из Lecture Notes in Computer Science, стр. 496-514. Springer, (1987)Soft constraints for KnowLang., и . C3S2E, стр. 99-103. ACM, (2012)Labeled Event Structures: A Model for Observable Concurrency., , и . Formal Description of Programming Concepts, стр. 383-400. North-Holland, (1982)The tile model., и . Proof, Language, and Interaction, стр. 133-166. The MIT Press, (2000)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., и . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs., , , и . Sci. Comput. Program., 30 (1-2): 51-82 (1998)D-Fusion: A Distinctive Fusion Calculus., , и . APLAS, том 3302 из Lecture Notes in Computer Science, стр. 296-310. Springer, (2004)Liveness Properties as Convergence in Metric Spaces, и . STOC, стр. 31-38. ACM, (1984)Graph rewriting with unification and composition., , и . Graph-Grammars and Their Application to Computer Science, том 291 из Lecture Notes in Computer Science, стр. 496-514. Springer, (1986)