( en | de | ru )

 

Disambiguierung von "Kovács, Laura"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Non-Classical Logics in Satisfiability Modulo Theories.

, , , und . TABLEAUX, Volume 14278 von Lecture Notes in Computer Science, Seite 24-36. Springer, (2023)

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.

Ern Kovács

János Kovács

Zoltán Kovács

Annamária Kovács

Ladislaus Kovács

 

Weitere Publikationen von Autoren mit dem selben Namen

Lonely Points in Simplices., , und . CoRR, (2019)Non-Classical Logics in Satisfiability Modulo Theories., , , und . TABLEAUX, Volume 14278 von Lecture Notes in Computer Science, Seite 24-36. Springer, (2023)Symbolic Computation and Automated Reasoning for Program Analysis.. IFM, Volume 9681 von Lecture Notes in Computer Science, Seite 20-27. Springer, (2016)Invariant Generation for P-Solvable Loops with Assignments.. CSR, Volume 5010 von Lecture Notes in Computer Science, Seite 349-359. Springer, (2008)Trace Logic for Inductive Loop Reasoning., , und . FMCAD, Seite 255-263. IEEE, (2020)Automating Induction by Reflection., und . CoRR, (2021)Foreword., , und . Math. Comput. Sci., 13 (4): 459-460 (2019)Algebra-Based Loop Analysis.. ISSAC, Seite 41-42. ACM, (2023)A First Class Boolean Sort in First-Order Theorem Proving and TPTP., , und . CICM, Volume 9150 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2015)Verifying Relational Properties using Trace Logic., , , , , und . FMCAD, Seite 170-178. IEEE, (2019)