Fast many-to-one matching algorithms
Proc. of the first international conference on Rewriting techniques and applications
Experiments with discrimination-tree indexing and path indexing for term retrieval
Journal of Automated Reasoning
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Term Indexing
Journal of Automated Reasoning
WALDMEISTER - High-Performance Equational Deduction
Journal of Automated Reasoning
Journal of Automated Reasoning
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Invited Talk: Rewrite-based Deduction and Symbolic Constraints
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Handbook of automated reasoning
Where the really hard problems are
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Limited resource strategy in resolution theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
Fast Term Indexing with Coded Context Trees
Journal of Automated Reasoning
Efficient instance retrieval with standard and relational path indexing
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Things to Know when Implementing KBO
Journal of Automated Reasoning
The design and implementation of VAMPIRE
AI Communications - CASC
AI Communications - CASC
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Automated reasoning: past story and new trends
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Efficient instance retrieval with standard and relational path indexing
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
AI Communications - Practical Aspects of Automated Reasoning
Comparing unification algorithms in first-order theorem proving
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
| Hi-index | 0.00 |