A fine-grained parallel completion procedure
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
A model and a first analysis of distributed-search contraction-based strategies
Annals of Mathematics and Artificial Intelligence
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Completion for Multiple Reduction Orderings
Journal of Automated Reasoning
General Algorithms for Permutations in Equational Inference
Journal of Automated Reasoning
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Analysis of Distributed-Search Contraction-Based Strategies
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
On the Implementation of an Extensible Declarative Proof Language
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Context-Sensitive AC-Rewriting
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
New results on rewrite-based satisfiability procedures
ACM Transactions on Computational Logic (TOCL)
Termination Analysis by Dependency Pairs and Inductive Theorem Proving
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Equational reasoning using AC constraints
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A taxonomy of theorem-proving strategies
Artificial intelligence today
Model-theoretic semantics and tractable algorithm for CNF-BCP
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Proving Termination by Dependency Pairs and Inductive Theorem Proving
Journal of Automated Reasoning
Proving injectivity of functions via program inversion in term rewriting
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Algebraic formula manipulation in a functional language: a first attempt
FP'95 Proceedings of the 1995 international conference on Functional Programming
Hi-index | 0.00 |