( en | de | ru )

 

Disambiguierung von "Gabbrielli, Maurizio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Nested Guarded Horn Clauses.

, , , und . Int. J. Found. Comput. Sci., 1 (3): 249-264 (1990)

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.

Maurizio Podda

Maurizio Venturini

Maurizio Zanazzi

Maurizio Serva

Maurizio Podda

 

Weitere Publikationen von Autoren mit dem selben Namen

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