Autor der Publikation

Lemma Generation for Horn Clause Satisfiability: A Preliminary Study.

, , , und . VPT@Programming, Volume 299 von EPTCS, Seite 4-18. (2019)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Preface., , , und . Fundam. Informaticae, (2020)Semantics and Controllability of Time-Aware Business Processes., , , , und . Fundam. Informaticae, 165 (3-4): 205-244 (2019)Multiple Query Satisfiability of Constrained Horn Clauses., , , und . CoRR, (2022)A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)., , , und . PEPM, Seite 16-38. ACM, (2024)Totally correct logic program transformations via well-founded annotations., und . High. Order Symb. Comput., 21 (1-2): 235 (2008)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)Analysis and Transformation of Constrained Horn Clauses for Program Verification., , , , , und . Theory Pract. Log. Program., 22 (6): 974-1042 (2022)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)An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract)., und . LOPSTR, Seite 126-128. Springer, (1991)