Proofs by structural induction using partial evaluation
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Automating the synthesis of decision procedures in a constructive metatheory
Annals of Mathematics and Artificial Intelligence
Adaptation of declaratively represented methods in proof planning
Annals of Mathematics and Artificial Intelligence
Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm
Automated Software Engineering
Planning Proofs of Equations in CCS
Automated Software Engineering
Termination of Nested and Mutually Recursive Algorithms
Journal of Automated Reasoning
Coloring Terms to Control Equational Reasoning
Journal of Automated Reasoning
Analogy in Inductive Theorem Proving
Journal of Automated Reasoning
Recursive Program Optimization through Inductive Synthesis Proof Transformation
Journal of Automated Reasoning
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
Managing Structural Information by Higher-Order Colored Unification
Journal of Automated Reasoning
Induction Proofs with Partial Functions
Journal of Automated Reasoning
Concept Formation via Proof Planning Failure
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Flexibly Interleaving Processes
ICCBR '99 Proceedings of the Third International Conference on Case-Based Reasoning and Development
Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
A Comparison of Two Proof Critics: Power vs. Robustness
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Invariant Discovery via Failed Proof Attempts
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Abstract: Proof Planning with Program Schemas
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
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
Logic Program Synthesis in a Higher-Order Setting
CL '00 Proceedings of the First International Conference on Computational Logic
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions
CL '00 Proceedings of the First International Conference on Computational Logic
Proof Planning with Multiple Strategies
CL '00 Proceedings of the First International Conference on Computational Logic
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Decidable Classes of Inductive Theorems
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm
Automated Software Engineering
Higher Order Function Synthesis Through Proof Planning
Proceedings of the 16th IEEE international conference on Automated software engineering
Automatic verification of functions with accumulating parameters
Journal of Functional Programming
Sound generalizations in mathematical induction
Theoretical Computer Science
Constraint Solving for Proof Planning
Journal of Automated Reasoning
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
An Integrated Approach to High Integrity Software Verification
Journal of Automated Reasoning
An approach to automatic deductive synthesis of functional programs
Annals of Mathematics and Artificial Intelligence
Dominator-tree analysis for distributed authorization
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges
Verified Software: Theories, Tools, Experiments
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
A divergence critic for inductive proof
Journal of Artificial Intelligence Research
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Relational rippling: a general approach
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)
Poitín: Distilling Theorems From Conjectures
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of automated deduction
Artificial intelligence today
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling
Journal of Automated Reasoning
Automatic deductive synthesis of lisp programs in the system ALISA
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Proof planning for first-order temporal logic
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Case-Analysis for rippling and inductive proof
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
The use of theorem provers in the teaching and practice of formal methods
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Zeno: an automated prover for properties of recursive data structures
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Automating Inductive Specification Proofs
Fundamenta Informaticae
Automated reasoning, fast and slow
CADE'13 Proceedings of the 24th international conference on Automated Deduction
| Hi-index | 0.00 |