Adaptation of declaratively represented methods in proof planning
Annals of Mathematics and Artificial Intelligence
Induction Proofs with Partial Functions
Journal of Automated Reasoning
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
Concept Formation via Proof Planning Failure
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Program Derivation = Rules + Strategies
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions
CL '00 Proceedings of the First International Conference on Computational Logic
A framework for program development based on schematic proof
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
Automation for Dependently Typed Functional Programming
Fundamenta Informaticae - Dependently Typed Programming
Reasoning about incompletely defined programs
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
| Hi-index | 0.00 |