( en | de | ru )

 

Disambiguierung von "Proietti, Maurizio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Preface.

, , und . Fundam. Informaticae, (2021)

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 Podda

Maurizio Serva

 

Weitere Publikationen von Autoren mit dem selben Namen

Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates., , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 83-102. Springer, (2020)Preface., , und . Fundam. Informaticae, (2020)Totally correct logic program transformations via well-founded annotations., und . High. Order Symb. Comput., 21 (1-2): 235 (2008)Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach., und . CoRR, (2014)Multiple Query Satisfiability of Constrained Horn Clauses., , , und . PADL, Volume 13880 von Lecture Notes in Computer Science, Seite 125-143. Springer, (2023)Lemma Generation for Horn Clause Satisfiability: A Preliminary Study., , , und . VPT@Programming, Volume 299 von EPTCS, Seite 4-18. (2019)QuBPAL: Querying Business Process Knowledge., , und . Process Querying Methods, Springer, (2022)Analysis and Transformation of Constrained Horn Clauses for Program Verification., , , , , und . Theory Pract. Log. Program., 22 (6): 974-1042 (2022)Knowledge-Based Support to Business Innovation., , und . NGEBIS, Volume 864 von CEUR Workshop Proceedings, Seite 37-44. CEUR-WS.org, (2012)ABALearn: An Automated Logic-Based Learning System for ABA Frameworks., , und . AI*IA, Volume 14318 von Lecture Notes in Computer Science, Seite 3-16. Springer, (2023)