Complexity of matching problems
Journal of Symbolic Computation
Only prime superpositions need be considered in the Knuth-Bendix completion procedure
Journal of Symbolic Computation
Adventures in associative-commutative unification
Journal of Symbolic Computation
Automating inductionless induction using test sets
Journal of Symbolic Computation
Taxonomic syntax for first order inference
Journal of the ACM (JACM)
Z-module reasoning: an equality-oriented proving method with built-in ring axioms
Journal of the ACM (JACM)
Formal verification of the Sobel image processing chip
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification
IEEE Transactions on Software Engineering
AIDS to hierarchical specification structuring and reusing theorems in AFFIRM-85
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
| Hi-index | 0.00 |