( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Correctness of the Replacement Operation for CLP Modules.

, и . J. Funct. Log. Program., (1996)

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 Podda

Maurizio Solinas

 

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

Hybrid Models for Knowledge Tracing: A Systematic Literature Review., , , и . IEEE Trans. Learn. Technol., (2024)On the expressive power of recursion, replication and iteration in process calculi., , и . Math. Struct. Comput. Sci., 19 (6): 1191-1222 (2009)A Compositional Semantics for Logic Programs., , , и . Theor. Comput. Sci., 122 (1&2): 3-47 (1994)Student Dropout Prediction., , , и . AIED (1), том 12163 из Lecture Notes in Computer Science, стр. 129-140. Springer, (2020)On the Correctness of the Replacement Operation for CLP Modules., и . J. Funct. Log. Program., (1996)Denotational semantics for Concurrent Constraint Programs analyses., , , и . ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, (1994)Modular Transformations of CLP Programs., и . ILPS Workshop: Constraints and Databases, (1994)New Semantic Tools for Logic Programming., , и . REX Workshop, том 666 из Lecture Notes in Computer Science, стр. 204-235. Springer, (1992)Nested Guarded Horn Clauses., , , и . Int. J. Found. Comput. Sci., 1 (3): 249-264 (1990)Constraint programming for flexible Service Function Chaining deployment., , , , , и . CoRR, (2018)