( en | de | ru )

 

Disambiguierung von "Voronkov, Andrei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ALASCA: Reasoning in Quantified Linear Arithmetic.

, , , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 647-665. 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.

Andrei Munk

Andrei Vescan

Andrei Komnick

Andrei Belitski

Andrei Lehmann

 

Weitere Publikationen von Autoren mit dem selben Namen

On Computability by Logic Programs.. Structural Complexity and Recursion-theoretic methods in Logic-Programming, Seite 165-. Mathematical Sciences Institute, Cornell University, (1992)How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi.. ACM Trans. Comput. Log., 2 (2): 182-215 (2001)Expressive Power and Data Complexity of Query Languages for Trees and Lists., und . PODS, Seite 157-165. ACM, (2000)Logic Programming with Bounded Quantifiers.. RCLP, Volume 592 von Lecture Notes in Computer Science, Seite 486-514. Springer, (1991)The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures., und . FSTTCS, Volume 2556 von Lecture Notes in Computer Science, Seite 230-240. Springer, (2002)EPR-Based Bounded Model Checking at Word Level., , , , und . IJCAR, Volume 7364 von Lecture Notes in Computer Science, Seite 210-224. Springer, (2012)Proof Systems for Effectively Propositional Logic., und . IJCAR, Volume 5195 von Lecture Notes in Computer Science, Seite 426-440. Springer, (2008)Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification.. CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 32-46. Springer, (1996)Simultaneous Regid E-Unification Is Undecidable., und . CSL, Volume 1092 von Lecture Notes in Computer Science, Seite 178-190. Springer, (1995)Induction in Saturation-Based Proof Search., und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 477-494. Springer, (2019)