Searching for "Lazy Generation of Induction Hypotheses." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

2.2 Why Sequent and Tableau Calculi....................... 5
by Birt Hd Ay, Claus-peter Wirth
… 13 Sequents versus Tableaux in ITP 46 14 Example: Eager Hypotheses Generation 48 15 Example: Variable…
Add To MetaCart

Descente In
by Nie Deduction Claus-Peter, Claus-peter Wirth
… generation of induction hypotheses and mutual induction. As a consequence, we obtain the following essential…
Add To MetaCart

An Approach to Flexible Forms of Proof Control for a First-Order Inductive Theorem Prover (Extended
by unknown authors
…) the delayed or lazy generation of induction hypotheses, (2) mutual induction for conjectures about mutually…
Add To MetaCart

An Approach to Flexible Forms of Proof Control for a First-Order Inductive Theorem Prover (Extended
by Ulrich Kühler
…) the delayed or lazy generation of induction hypotheses, (2) mutual induction for conjectures about mutually…
Add To MetaCart

To Katja Acknowledgements
by Vom Fachbereich Informatik, Der Technischen Universität Kaiserslautern, Vorsitzender Prof, Dr. Klaus Schneider, Berichterstatter Prof, Dr. Jürgen Avenhaus, Prof Dr, Klaus Madlener, Dekan Prof, Dr. Reinhard Gotzhein, Marc Fuchs, Matthias Fuchs, Thomas Hillenbr, Christoph Kögl, Birgit Reinert
… of the dependencies between proof attempts of (different) lemmas in a proof state graph enables the lazy generation…
Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB