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
Fast Term Indexing with Coded Context Trees
Journal of Automated Reasoning
Indexing methods for efficient parsing
NAACLstudent '03 Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology: Proceedings of the HLT-NAACL 2003 student research workshop - Volume 3
Efficient instance retrieval with standard and relational path indexing
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Engineering DPLL(T) + Saturation
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)
Efficient instance retrieval with standard and relational path indexing
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Unification and matching on compressed terms
ACM Transactions on Computational Logic (TOCL)
Overcoming performance barriers: efficient verification techniques for logical frameworks
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
A content based mathematical search engine: whelp
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Hi-index | 0.00 |