( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An interactive semantics of logic programming.

, , и . Theory Pract. Log. Program., 1 (6): 647-690 (2001)

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

 

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

Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations., , и . Math. Struct. Comput. Sci., 7 (3): 241-282 (1997)On the Semantics of Place/Transition Petri Nets., , и . Math. Struct. Comput. Sci., 7 (4): 359-397 (1997)Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic., , и . Math. Struct. Comput. Sci., 12 (1): 53-90 (2002)Contextual Nets., и . Acta Informatica, 32 (6): 545-596 (1995)Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types., , и . Theor. Comput. Sci., 331 (2-3): 325-365 (2005)On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies., и . Theor. Comput. Sci., 141 (1&2): 195-252 (1995)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., и . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)A basic algebra of stateless connectors., , и . Theor. Comput. Sci., 366 (1-2): 98-120 (2006)Executing Transactions in Zero-Safe Nets., и . ICATPN, том 1825 из Lecture Notes in Computer Science, стр. 83-102. Springer, (2000)CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements., и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 18-32. Springer, (2007)