( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A compositional semantics for CHR.

, , и . PPDP, стр. 209-217. ACM, (2005)

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.

Maurizio Podda

Maurizio Venturini

Maurizio Zanazzi

Maurizio Serva

Maurizio Podda

 

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

Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs., и . Theor. Comput. Sci., 105 (1): 85-128 (1992)Partial Evaluation of Concurrent Constraint Languages., и . ACM Comput. Surv., 30 (3es): 11 (1998)Guess Who's Coming: Runtime Inclusion of Participants in Choreographies., , , и . The Art of Modelling Computational Systems, том 11760 из Lecture Notes in Computer Science, стр. 118-138. Springer, (2019)Modular Logic Programs on Finite Domains., , и . GULP, стр. 663-678. (1993)Multimodal Side- Tuning for Document Classification., , и . ICPR, стр. 5206-5213. IEEE, (2020)A Transformation System for Modular CLP Programs., и . ICLP, стр. 681-695. MIT Press, (1995)A compositional Semantics for CHR, и . CoRR, (2006)Slicing Concurrent Constraint Programs., , , и . LOPSTR, том 10184 из Lecture Notes in Computer Science, стр. 76-93. Springer, (2016)Compositional Verification of Infinite State Systems., , и . ICLP, том 2916 из Lecture Notes in Computer Science, стр. 47-48. Springer, (2003)Compositional Analysis for Concurrent Constraint Programming, , , и . LICS, стр. 210-221. IEEE Computer Society, (1993)