Previous Page | Next Page |
# | Year | Author(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] | 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] | Orienting Equalities with the Knuth-Bendix Order In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84 | Proceedings Article | ||||||
2003 | Korovin, Konstantin [Voronkov, Andrei] | Orienting rewrite rules with the Knuth-Bendix order In: Information and Computation [183], 165-186 | Journal Article | ||||||
2001 | [Nieuwenhuis, Robert] Hillenbrand, Thomas [Riazanov, Alexandre] [Voronkov, Andrei] | 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 | Vorobyov, Sergei Voronkov, Andrei | Complexity of Nonrecursive Logic Programs with Complex Values In: Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-98), 244-253 | Proceedings Article |
Previous Page | Next Page |