Searching for authors named Andrei Voronkov – sorted by Relevance.
61 documents found, showing 1 through 10.
Next 10 →
-
Algorithms, datastructures, and other issues in efficient automated deduction
- …Algorithms, Datastructures, and Other Issues in Efficient Automated Deduction Andrei Voronkov…
- Cited by 9 (0 self) – Add To MetaCart
-
Implementing Bottom-up Procedures with Code Trees: a Case Study of Forward Subsumption
- … Case Study of Forward Subsumption Andrei Voronkov 1 Computing Science Department Uppsala University…
- Cited by 2 (0 self) – Add To MetaCart
-
The ground-negative fragment of first-order logic is Pi^p_2-complete
- … is \Pi p 2 -complete Andrei Voronkov Computing Science Department Uppsala University Box 311, S-751…
- Cited by 1 (1 self) – Add To MetaCart
-
Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction
- …-Search in Intuitionistic Logic Based on Constraint Satisfaction Andrei Voronkov Computing Science Department Uppsala…
- Cited by 18 (7 self) – Add To MetaCart
-
On Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification
- …-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification Andrei Voronkov Computing…
- Cited by 17 (9 self) – Add To MetaCart
-
Herbrand's Theorem, Automated Reasoning and Semantic Tableaux
- … and semantic tableaux Andrei Voronkov Computing Science Department Uppsala University Box 311, S-751 05…
- Cited by 4 (3 self) – Add To MetaCart
-
Simultaneous rigid E-Unification and other decision problems related to the Herbrand theorem
- …-unification and other decision problems related to the Herbrand theorem Andrei Voronkov Computing Science Department…
- Cited by 3 (2 self) – Add To MetaCart
-
A Construction of Typed Lambda Models Related to Feasible Computability
- …A Construction of Typed Lambda Models Related to Feasible Computability Vladimir Sazonov Andrei…
- Add To MetaCart
-
The existential theories of term algebras with the Knuth-Bendix orderings are decidable
- … Korovin Andrei Voronkov Department of Computer Science University of Manchester fkorovinjvoronkovg…
- Add To MetaCart
-
Dagstuhl Report on Logic Databases and the Meaning of Change
- …Dagstuhl Report on Logic Databases and the Meaning of Change Compiled by Andrei Voronkov Uppsala…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
