A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Abstract canonical presentations
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
ACM Transactions on Computational Logic (TOCL)
On theorem proving for program checking: historical perspective and recent developments
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
The Clause-Diffusion Methodology For Distributed Deduction
Fundamenta Informaticae
| Hi-index | 0.00 |