Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
Equational inference, canonical proofs, and proof orderings
Journal of the ACM (JACM)
A general framework to build contextual cover set
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Induction Proofs with Partial Functions
Journal of Automated Reasoning
Sound generalizations in mathematical induction
Theoretical Computer Science
Program transformation by templates based on term rewriting
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Applying term rewriting to partial algebra theory
Fundamenta Informaticae
Automatic case analysis in proof by induction
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Annals of Mathematics and Artificial Intelligence
Inductive synthesis of equational programs
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Applying term rewriting to partial algebra theory
Fundamenta Informaticae
Hi-index | 0.00 |