Document Search Results

Richards, Bradley L.; Kraan, Ina; Smaill, Alan; Wiggins, Geraint A.

Mollusc: a general proof-development shell for sequent-based logics. (English) Zbl 1433.68564

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 826-830 (1994).

MSC: 68V15

Cite Review PDF

Full Text: DOI

Clarke, Edmund; Zhao, Xudong

Combining symbolic computation and theorem proving: some problems of Ramanujan. (English) Zbl 1433.68541

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 758-763 (1994).

MSC: 68V15 33F10 68W30

Cite Review PDF

Full Text: DOI Link

Huang, Xiaorong

Reconstructing proofs at the assertion level. (English) Zbl 1433.68551

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 738-752 (1994).

MSC: 68V15

Cite Review PDF

Full Text: DOI Link

Basin, David A.; Walsh, Toby

Termination orderings for rippling. (English) Zbl 1433.68187

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 466-483 (1994).

MSC: 68Q42 68V15

Cite Review PDF

Full Text: DOI Link

Chazarain, Jacques; Kounalis, Emmanuel

Mechanizable inductive proofs for a class of \(\forall \exists\) formulas. (English) Zbl 1434.03026

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 118-132 (1994).

MSC: 03B35 03C05 08B05 03F30

Cite Review PDF

Full Text: DOI

Bronsard, Francois; Reddy, Uday S.; Hasker, Robert W.

Induction using term orderings. (English) Zbl 1433.68537

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 102-117 (1994).

MSC: 68V15 03B35

Cite Review PDF

Full Text: DOI

Plaisted, David A.

The search efficiency of theorem proving strategies. (English) Zbl 1433.68561

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 57-71 (1994).

MSC: 68V15

Cite Review PDF

Full Text: DOI

Protzen, Martin

Lazy generation of induction hypotheses. (English) Zbl 1433.68563

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 42-56 (1994).

MSC: 68V15 03B35

Cite Review PDF

Full Text: DOI

Hutter, Dieter

Synthesis of induction orderings for existence proofs. (English) Zbl 1433.68096

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 29-41 (1994).

MSC: 68N30 03B70

Cite Review PDF

Full Text: DOI

Walsh, Toby

A divergence critic. (English) Zbl 1433.68571

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 14-28 (1994).

MSC: 68V15