Principles and practice of unification factoring
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experiments with subdivision of search in distributed theorem proving
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Journal of Automated Reasoning
Otter - The CADE-13 Competition Incarnations
Journal of Automated Reasoning
WALDMEISTER - High-Performance Equational Deduction
Journal of Automated Reasoning
An Algorithm for the Retrieval of Unifiers from Discrimination Trees
Journal of Automated Reasoning
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
On the Evaluation of Indexing Techniques for Theorem Proving
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Handbook of automated reasoning
Journal of Functional Programming
Fast Term Indexing with Coded Context Trees
Journal of Automated Reasoning
An indexing scheme for typed feature structures
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 2
Efficient instance retrieval with standard and relational path indexing
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
The design and implementation of VAMPIRE
AI Communications - CASC
AI Communications - CASC
AI Communications - CASC
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Higher-order term indexing using substitution trees
ACM Transactions on Computational Logic (TOCL)
Experiments with associative-commutative discrimination nets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Efficient instance retrieval with standard and relational path indexing
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
An application of automated reasoning in natural language question answering
AI Communications - Practical Aspects of Automated Reasoning
SOLAR: An automated deduction system for consequence finding
AI Communications - Practical Aspects of Automated Reasoning
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
A taxonomy of theorem-proving strategies
Artificial intelligence today
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
A persistent feature-object database for intelligent text archive systems
IJCNLP'04 Proceedings of the First international joint conference on Natural Language Processing
A content based mathematical search engine: whelp
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Perfect discrimination graphs: indexing terms with integer exponents
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Model Evolution with equality - Revised and implemented
Journal of Symbolic Computation
Fingerprint indexing for paramodulation and rewriting
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Simple and efficient clause subsumption with feature vector indexing
Automated Reasoning and Mathematics
MACE4 and SEM: a comparison of finite model generators
Automated Reasoning and Mathematics
Hi-index | 0.00 |