Searching for authors named "Konstantin Korovin" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
The existential theories of term algebras with the Knuth-Bendix orderings are decidable
- …The existential theories of term algebras with the Knuth-Bendix orderings are decidable Konstantin…
- Add To MetaCart
-
New Directions in Instantiation-Based Theorem Proving
- …New Directions in Instantiation-Based Theorem Proving Harald Ganzinger, Konstantin Korovin MPI…
- Cited by 14 (0 self) – Add To MetaCart
-
Orienting rewrite rules with the Knuth-Bendix order
- … Orienting rewrite rules with the Knuth-Bendix order Konstantin Korovin and Andrei Voronkov…
- Cited by 4 (0 self) – Add To MetaCart
-
A decision procedure for the existential theory of term algebras with the Knuth-Bendix ordering
- … Konstantin Korovin Andrei Voronkov y Department of Computer Science University of Manchester…
- Cited by 13 (3 self) – Add To MetaCart
-
Knuth-Bendix constraint solving is NP-complete
- …-complete Konstantin Korovin and Andrei Voronkov Department of Computer Science University of Manchester Preprint…
- Cited by 11 (2 self) – Add To MetaCart
-
The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures
- … Konstantin Korovin and Andrei Voronkov University of Manchester fkorovin,voronkovg@(email omitted); Abstract…
- Cited by 4 (0 self) – Add To MetaCart
-
An AC-Compatible Knuth-Bendix Order
- …An AC-Compatible Knuth-Bendix Order Konstantin Korovin 1 and Andrei Voronkov 2 1 MPI fur…
- Cited by 2 (0 self) – Add To MetaCart
-
Integrating linear arithmetic into superposition calculus
- …Integrating Linear Arithmetic into Superposition Calculus Konstantin Korovin and Andrei Voronkov…
- Cited by 2 (0 self) – Add To MetaCart
-
New Directions in Instantiation-Based Theorem Proving
- …New Directions in Instantiation-Based Theorem Proving Harald Ganzinger, Konstantin Korovin MPI…
- Add To MetaCart
Showing 1 through 9.
