MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
TAME: Using PVS strategies for special-purpose theorem proving
Annals of Mathematics and Artificial Intelligence
External Rewriting for Skeptical Proof Assistants
Journal of Automated Reasoning
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
A Prototype Proof Translator from HOL to Coq
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Integrating HOL-CASL into the Development Graph Manager MAYA
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions
CL '00 Proceedings of the First International Conference on Computational Logic
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Transparent optimisation of rewriting combinators
Journal of Functional Programming
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
Hi-index | 0.00 |