Skip to main content
SpringerLink
Log in
Book cover

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. Presenting machine-found proofs

    • Xiaorong Huang, Armin Fiedler
    Pages 221-225

  2. MUltlog 1.0: Towards an expert system for many-valued logics

    • Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
    Pages 226-230

  3. CtCoq: A system presentation

    • Janet Bertot, Yves Bertot
    Pages 231-234

  4. An introduction to geometry expert

    • Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
    Pages 235-239

  5. SiCoTHEO: Simple competitive parallel theorem provers

    • J. Schumann
    Pages 240-244

  6. What can we hope to achieve from automated deduction?

    • Dana S. Scott
    Pages 245-245

  7. Unification algorithms cannot be combined in polynomial time

    • Miki Hermann, Phokion G. Kolaitis
    Pages 246-260

  8. Unification and matching modulo nilpotence

    • Qing Guo, Paliath Narendran, D. A. Wolfram
    Pages 261-274

  9. An improved lower bound for the elementary theories of trees

    • Sergei Vorobyov
    Pages 275-287

  10. INKA: The next generation

    • Dieter Hutter, Claus Sengler
    Pages 288-292

  11. XRay: A prolog technology theorem prover for default reasoning: A system description

    • Torsten Schaub, Stefan Brüning, Pascal Nicolas
    Pages 293-297

  12. IMPS: An updated system description

    • William M. Farmer, Joshua D. Guttman, F. Javier Thayer Fábrega
    Pages 298-302

  13. The tableau-based theorem prover 3 T A P Version 4.0

    • Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann
    Pages 303-307

  14. System description generating models by SEM

    • Jian Zhang, Hantao Zhang
    Pages 308-312

  15. Optimizing proof search in model elimination

    • John Harrison
    Pages 313-327

  16. An abstract machine for fixed-order dynamically stratified programs

    • Konstantinos Sagonas, Terrance Swift, David S. Warren
    Pages 328-342

  17. Unification in pseudo-linear sort theories is decidable

    • Christoph Weidenbach
    Pages 343-357

  18. Theorem proving with group presentations: Examples and questions

    • Ursula Martin
    Pages 358-372

  19. Transforming termination by self-labelling

    • Aart Middeldorp, Hitoshi Ohsaki, Hans Zantema
    Pages 373-387

  20. Theorem proving in cancellative abelian monoids (extended abstract)

    • Harald Ganzinger, Uwe Waldmann
    Pages 388-402
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

Publish with us

Policies and ethics

Back to top

Search

Navigation