Theorem proving using equational matings and rigid E-unification
Journal of the ACM (JACM)
Equational inference, canonical proofs, and proof orderings
Journal of the ACM (JACM)
Fatal steps of Knuth-Bendix completion
Nordic Journal of Computing
Abstract canonical presentations
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
ACM Transactions on Computational Logic (TOCL)
Canonical Inference for Implicational Systems
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
| Hi-index | 0.00 |