Logical framework based program development
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Automating the synthesis of decision procedures in a constructive metatheory
Annals of Mathematics and Artificial Intelligence
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm
Automated Software Engineering
The Heine–Borel Challenge Problem. In Honor of Woody Bledsoe
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
A Skeptic’s Approach to Combining HOL and Maple
Journal of Automated Reasoning
Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification
IEEE Transactions on Software Engineering
A Semantics for Proof Plans with Applications to Interactive Proof Planning
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Science of Reasoning (Extended Abstract)
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Proof Planning with Multiple Strategies
CL '00 Proceedings of the First International Conference on Computational Logic
Transparent optimisation of rewriting combinators
Journal of Functional Programming
Computer science students' difficulties with proofs by induction: an exploratory study
Proceedings of the 44th annual Southeast regional conference
An Integrated Approach to High Integrity Software Verification
Journal of Automated Reasoning
Proof planning with multiple strategies
Artificial Intelligence
Cooperative reasoning for automatic software verification
Proceedings of the second workshop on Automated formal methods
A conceptual approach to teaching induction for computer science
Proceedings of the 39th SIGCSE technical symposium on Computer science education
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
Induction as a tool for conceptual coherence in computer science
Proceedings of the 46th Annual Southeast Regional Conference on XX
Combining induction axioms by machine
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Cooperating reasoning processes: more than just the sum of their parts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic rippling, middle-out reasoning and lemma discovery
Verification, induction termination analysis
Dynamic rippling, middle-out reasoning and lemma discovery
Verification, induction termination analysis
Conjecture Synthesis for Inductive Theories
Journal of Automated Reasoning
Reasoning, Action and Interaction in AI Theories and Systems
| Hi-index | 0.00 |