( en | de | ru )

 

Disambiguation of "Voronkov, Andrei"

Author of the publication

copydeleteadd this publication to your clipboard
Adaptive Saturation-Based Reasoning.

, and . Ershov Memorial Conference, volume 2244 of Lecture Notes in Computer Science, page 95-108. Springer, (2001)

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 Lehmann

Andrei Negoescu

Andrei Belitski

Andrei Munk

Andrei Verbovsky

 

Other publications of authors with the same name

Keynote talk: EasyChair.. ASE, page 3-4. ACM, (2014)The Decidability of Simultaneous Rigid E-Unification with One Variable., , , , and . RTA, volume 1379 of Lecture Notes in Computer Science, page 181-195. Springer, (1998)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)Partially Adaptive Code Trees., and . JELIA, volume 1919 of Lecture Notes in Computer Science, page 209-223. Springer, (2000)Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order., and . RTA, volume 2051 of Lecture Notes in Computer Science, page 137-153. Springer, (2001)Merging Relational Database Technology with Constraint Technology.. Ershov Memorial Conference, volume 1181 of Lecture Notes in Computer Science, page 409-419. Springer, (1996)Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture)., and . CSL, volume 2803 of Lecture Notes in Computer Science, page 546-573. Springer, (2003)Complexity of Some Problems in Modal and Intuitionistic Calculi., and . CSL, volume 2803 of Lecture Notes in Computer Science, page 397-412. Springer, (2003)Equality Elimination for the Tableau Method., and . DISCO, volume 1128 of Lecture Notes in Computer Science, page 46-60. Springer, (1996)Vampire 1.1 (System Description)., and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 376-380. Springer, (2001)