Termination of Nested and Mutually Recursive Algorithms
Journal of Automated Reasoning
Induction Proofs with Partial Functions
Journal of Automated Reasoning
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
Sound generalizations in mathematical induction
Theoretical Computer Science
Customised Induction Rules for Proving Correctness of Imperative Programs
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Improvements in Formula Generalization
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Termination Analysis by Dependency Pairs and Inductive Theorem Proving
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Second-order matching modulo evaluation: a technique for reusing proofs
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
A survey of automated deduction
Artificial intelligence today
Termination graphs for Java bytecode
Verification, induction termination analysis
Termination graphs for Java bytecode
Verification, induction termination analysis
Proving Termination by Dependency Pairs and Inductive Theorem Proving
Journal of Automated Reasoning
Automated synthesis of induction axioms for programs with second-order recursion
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
On partial-function application in Z
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions
Journal of Automated Reasoning
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.00 |