Automating inductionless induction using test sets
Journal of Symbolic Computation
Mechanical Verification of Adder Circuits using Rewrite RuleLaboratory
Formal Methods in System Design
On the construction of a domain language for a class of reactive systems
High integrity software
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
A Rewrite Rule Based Framework for Combining Decision Procedures
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Closure Induction in a Z-Like Language
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Reasoning Inductively about Z Specifications via Unification
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Decidable Classes of Inductive Theorems
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Information Sciences: an International Journal - Special issue: Information technology
Sound generalizations in mathematical induction
Theoretical Computer Science
Termination Analysis by Dependency Pairs and Inductive Theorem Proving
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Automatic case analysis in proof by induction
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
"Term partition" for mathematical induction
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
The maude formal tool environment
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Mechanizing inductive reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Proving Termination by Dependency Pairs and Inductive Theorem Proving
Journal of Automated Reasoning
Inductive decidability using implicit induction
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Automatic 'descente infinie' induction reasoning
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Coverset induction with partiality and subsorts: a powerlist case study
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Hi-index | 0.01 |