Managing Structural Information by Higher-Order Colored Unification
Journal of Automated Reasoning
Proof Planning for Feature Interactions: A Preliminary Report
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
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
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
Automatic verification of functions with accumulating parameters
Journal of Functional Programming
Poitín: Distilling Theorems From Conjectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Automation for Dependently Typed Functional Programming
Fundamenta Informaticae - Dependently Typed Programming
Dynamic rippling, middle-out reasoning and lemma discovery
Verification, induction termination analysis
Dynamic rippling, middle-out reasoning and lemma discovery
Verification, induction termination analysis
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling
Journal of Automated Reasoning
Reasoning, Action and Interaction in AI Theories and Systems
Case-Analysis for rippling and inductive proof
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Hi-index | 0.00 |