On word problems in equational theories
14th International Colloquium on Automata, languages and programming
Journal of Symbolic Computation
Critical pair criteria for completion
Journal of Symbolic Computation
Only prime superpositions need be considered in the Knuth-Bendix completion procedure
Journal of Symbolic Computation
Robbins algebra: conditions that make a near-boolean algebra boolean
Journal of Automated Reasoning
Basic superposition is complete
ESOP'92 Symposium proceedings on 4th European symposium on programming
Experiments with discrimination-tree indexing and path indexing for term retrieval
Journal of Automated Reasoning
Strategy compliant multi-threaded term completion
Journal of Symbolic Computation - Special issue on parallel symbolic computation
On the reconstruction of proofs in distributed theorem proving: a modified clause-diffusion method
Journal of Symbolic Computation - Special issue on parallel symbolic computation
Recording and analysing knowledge-based distributed deduction processes
Journal of Symbolic Computation - Special issue on parallel symbolic computation
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
Journal of the ACM (JACM)
A Unification Algorithm for Associative-Commutative Functions
Journal of the ACM (JACM)
A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Distributing Equational Theorem Proving
RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
DISCOUNT: A SYstem for Distributed Equational Deduction
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Fine-Grained Concurrent Completion
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
Proceedings of the 7th International Conference on Automated Deduction
Basic Paramodulation and Superposition
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
The Search Efficiency of Theorem Proving Strategies
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Distributed Theorem Proving by Peers
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
The Clause-Diffusion Theorem Prover Peers-mcd (System Description)
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
The Clause-Diffusion Methodology For Distributed Deduction
Fundamenta Informaticae
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
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Analysis of Distributed-Search Contraction-Based Strategies
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Combination of Distributed Search and Multi-search in Peers-mcd.d
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
| Hi-index | 0.01 |