Proof Planning with Multiple Strategies (2000)

Cached

Download Links

by Erica Melis , Andreas Meier
Venue:In Proc. of the First International Conference on Computational Logic
Citations:53 - 34 self

Documents Related by Co-Citation

267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
80 AI-Techniques in Proof Planning – Erica Melis - 1998
851 A formulation of the simple theory of types – Alonzo Church - 1940
567 Untersuchungen ├╝ber das logische Schlie├čen – G Gentzen - 1935
501 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic – M J C Gordon, T F Melham - 1993
23 Comparing approaches to the exploration of the domain of residue classes – Andreas Meier, Martin Pollet, Volker Sorge - 2002
18 Exploring Properties of Residue Classes – Andreas Meier, Volker Sorge - 2000
945 A Machine-Oriented Logic Based on the Resolution Principle – J A Robinson - 1965
938 A theory of type polymorphism in programming – Robin Milner - 1978