Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
22 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
10 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
9 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
11 |
| |||||||||
10 |
| |||||||||
2005 | Korovin, Konstantin [Voronkov, Andrei] | Knuth-Bendix constraint solving is NP-complete In: ACM Transactions on Computational Logic [6], 361-388 | Journal Article | |||||||
2003 | Korovin, Konstantin [Voronkov, Andrei] | Orienting rewrite rules with the Knuth-Bendix order In: Information and Computation [183], 165-186 | Journal Article | |||||||
2003 | Korovin, Konstantin [Voronkov, Andrei] | [Baader, Franz] | AC-compatible Knuth-Bendix Order In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 47-59 | Proceedings Article | ||||||
2003 | Korovin, Konstantin [Voronkov, Andrei] | [Kolaitis, Phokion] | Orienting Equalities with the Knuth-Bendix Order In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84 | Proceedings Article | ||||||
2001 | [Nieuwenhuis, Robert] Hillenbrand, Thomas [Riazanov, Alexandre] [Voronkov, Andrei] | [Goré, Rajeev] [Leitsch, Alexander] [Nipkow, Tobias] | On the Evaluation of Indexing Techniques for Theorem Proving In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271 | Proceedings Article | ||||||
2000 | [Degtyarev, Anatoli] [Gurevich, Yuri] [Narendran, Paliath] Veanes, Margus [Voronkov, Andrei] | Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results In: Theoretical Computer Science [243], 167-184 | Journal Article | |||||||
1999 | Voronkov, Andrei | The ground-negative fragment of first-order logics is $\pi^p_2$-complete In: The Journal of Symbolic Logic [64], 984-990 | Journal Article | |||||||
1998 | Bachmair, Leo Ganzinger, Harald Voronkov, Andrei | Kirchner, Claude Kirchner, Hélène | Elimination of Equality via Transformation with Ordering Constraints In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190 | Proceedings Article |