Automated theorem proving: mapping logic into AI
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
History and basic features of the critical-pair/completion procedure
Journal of Symbolic Computation
Inductive methods for reasoning about abstract data types
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
A strong restriction of the inductive completion procedure
Journal of Symbolic Computation
Journal of Symbolic Computation
Automating inductionless induction using test sets
Journal of Symbolic Computation
Equational inference, canonical proofs, and proof orderings
Journal of the ACM (JACM)
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computer experiments with the REVE term rewriting system generator
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Annals of Mathematics and Artificial Intelligence
Coloring Terms to Control Equational Reasoning
Journal of Automated Reasoning
Heuristics for completion in automatic proofs by structural induction
Nordic Journal of Computing
Completeness of many-sorted equational logic
ACM SIGPLAN Notices
Completeness of many-sorted equational logic
ACM SIGPLAN Notices
Rapid prototyping: in the OBJ executable specification language
Proceedings of the workshop on Rapid prototyping
Recent SRI work in verification
ACM SIGSOFT Software Engineering Notes
Annals of Mathematics and Artificial Intelligence
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Order-Sorted equality enrichments modulo axioms
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Hi-index | 0.00 |