Skip to main content
SpringerLink
Log in

Automated Deduction - Cade-13

13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. M. A. McRobbie
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. J. K. Slaney
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1104)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CADE 1996.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (63 papers)

  1. Front Matter

    Download chapter PDF

  2. Saturation-based theorem proving: Past successes and future potential

    • Harald Ganzinger
    Pages 1-1

  3. A resolution theorem prover for intuitionistic logic

    • Tanel Tammet
    Pages 2-16

  4. Proof-terms for classical and intuitionistic resolution

    • Eike Ritter, David Pym, Lincoln Wallen
    Pages 17-31

  5. Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification

    • Andrei Voronkov
    Pages 32-46

  6. Extensions to a generalization critic for inductive proof

    • Andrew Ireland, Alan Bundy
    Pages 47-61

  7. Learning domain knowledge to improve theorem proving

    • Jörg Denzinger, Stephan Schulz
    Pages 62-76

  8. Patching faulty conjectures

    • Martin Protzen
    Pages 77-91

  9. Internal analogy in theorem proving

    • Erica Melis, Jon Whittle
    Pages 92-105

  10. Termination of theorem proving by reuse

    • Thomas Kolbe, Christoph Walther
    Pages 106-120

  11. Termination of algorithms over non-freely generated data types

    • Claus Sengler
    Pages 121-135

  12. ABSFOL: A proof checker with abstraction

    • Fausto Giunchiglia, Adolfo Villafiorita
    Pages 136-140

  13. SPASS & FLOTTER version 0.42

    • Christoph Weidenbach, Bernd Gaede, Georg Rock
    Pages 141-145

  14. The design of the CADE-13 ATP system competition

    • Christian B. Suttner, Geoff Sutcliffe
    Pages 146-160

  15. SCAN—Elimination of predicate quantifiers

    • Hans Jürgen Ohlbach
    Pages 161-165

  16. GEOTHER: A geometry theorem prover

    • Dongming Wang
    Pages 166-170

  17. Structuring metatheory on inductive definitions

    • David Basin, Seán Matthews
    Pages 171-185

  18. An embedding of Ruby in Isabelle

    • Ole Rasmussen
    Pages 186-200

  19. Mechanical verification of mutually recursive procedures

    • Peter V. Homeier, David F. Martin
    Pages 201-215

  20. FasTraC a decentralized traffic control system based on logic programming

    • Giovanni Felici, Giovanni Rinaldi, Klaus Truemper
    Pages 216-220
Back to top

Other volumes

  1. Automated Deduction — Cade-13

Keywords

About this book

This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.

Bibliographic Information

  • Book Title: Automated Deduction - Cade-13

  • Book Subtitle: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

  • Editors: M. A. McRobbie, J. K. Slaney

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-61511-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1996

  • Softcover ISBN: 978-3-540-61511-8Published: 01 July 1996

  • eBook ISBN: 978-3-540-68687-3Published: 14 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVI, 772

  • Topics: Artificial Intelligence, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation