A fine-grained parallel completion procedure
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Experiments with subdivision of search in distributed theorem proving
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
DISCOUNT - A Distributed and Learning Equational Prover
Journal of Automated Reasoning
Computer algebra handbook
Iterative software engineering for multiagent systems: the MASSIVE method
Iterative software engineering for multiagent systems: the MASSIVE method
The Clause-Diffusion Methodology For Distributed Deduction
Fundamenta Informaticae
| Hi-index | 0.02 |