Only prime superpositions need be considered in the Knuth-Bendix completion procedure
Journal of Symbolic Computation
Theorem-proving with resolution and superposition
Journal of Symbolic Computation
Automating inductionless induction using test sets
Journal of Symbolic Computation
On word problems in horn theories
Journal of Symbolic Computation
Elimination of composite superpositions may cause abortion
Journal of Symbolic Computation
Equational inference, canonical proofs, and proof orderings
Journal of the ACM (JACM)
Simultaneous checking of completeness and ground confluence for algebraic specifications
ACM Transactions on Computational Logic (TOCL)
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Hi-index | 0.00 |