PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Voronkov, Andrei"

Author of the publication

copydeleteadd this publication to your clipboard
First-Order Theorem Proving and Vampire.

, and . CAV, volume 8044 of Lecture Notes in Computer Science, page 1-35. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrei-Marian Manolache University of Stuttgart

 

Other publications of authors with the same name

Merging Relational Database Technology with Constraint Technology.. Ershov Memorial Conference, volume 1181 of Lecture Notes in Computer Science, page 409-419. Springer, (1996)Upper Bounds for a Theory of Queues., and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 714-724. Springer, (2003)Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking., and . CAV, volume 2404 of Lecture Notes in Computer Science, page 386-400. Springer, (2002)Preface., and . Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)Monadic Simultaneous Rigid E-unification., and . Theor. Comput. Sci., 222 (1-2): 133-152 (1999)Deciding K using inverse-K.. KR, page 198-209. Morgan Kaufmann, (2000)Term-Modal Logics., , and . TABLEAUX, volume 1847 of Lecture Notes in Computer Science, page 220-236. Springer, (2000)Vampire., and . CADE, volume 1632 of Lecture Notes in Computer Science, page 292-296. Springer, (1999)Interpolation and Symbol Elimination in Vampire., , and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 188-195. Springer, (2010)Solving Systems of Linear Inequalities by Bound Propagation., and . CADE, volume 6803 of Lecture Notes in Computer Science, page 369-383. Springer, (2011)