Skip to main content
Springer Nature Link
Log in

5th Conference on Automated Deduction

Les Arcs, France, July 8-11, 1980

  • Conference proceedings
  • © 1980

Overview

Editors:
  1. Wolfgang Bibel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert Kowalski
    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 87)

  • 4954 Accesses

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 54.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

Keywords

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Using meta-theoretic reasoning to do algebra

    • Luigia Aiello, Richard W. Weyhrauch
    Pages 1-13

  3. Generating contours of integration: An application of PROLOG in symbolic computing

    • Gábor Belovári, J. A. Campbell
    Pages 14-23

  4. Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation

    • Alan Bundy, Bob Welham
    Pages 24-38

  5. Proofs as descriptions of computation

    • C. A. Goad
    Pages 39-52

  6. Program synthesis from incomplete specifications

    • Gérard Guiho, Christian Gresse
    Pages 53-62

  7. A system for proving equivalences of recursive programs

    • Laurent Kott
    Pages 63-69

  8. Variable elimination and chaining in a resolution-based prover for inequalities

    • W. W. Bledsoe, Larry M. Hines
    Pages 70-87

  9. Decision procedures for some fragments of set theory

    • A. Ferro, E. G. Omodeo, J. T. Schwartz
    Pages 88-96

  10. Simplifying interpreted formulas

    • D. W. Loveland, R. E. Shostak
    Pages 97-109

  11. Specification and verification of real-time, distributed systems using the theory of constraints

    • Frederick C. Furtek
    Pages 110-125

  12. Reasoning by plausible inference

    • Leonard Friedman
    Pages 126-142

  13. Logical support in a time-varying model

    • Alan M. Thompson
    Pages 143-153

  14. An experiment with the Boyer-Moore theorem prover: A proof of the correctness of a simple parser of expressions

    • Paul Y Gloess
    Pages 154-169

  15. An experiment with "Edinburgh LCF"

    • Jacek Leszczylowski
    Pages 170-181

  16. An approach to theorem proving on the basis of a typed lambda-calculus

    • R. P. Nederpelt
    Pages 182-194

  17. Adding dynamic paramodulation to rewrite algorithms

    • Paul Y Gloess, Jean-Pierre H Laurent
    Pages 195-207

  18. Hyperparamodulation: A refinement of paramodulation

    • L. Wos, R. Overbeek, L. Henschen
    Pages 208-219

  19. The AFFIRM theorem prover: Proof forests and management of large proofs

    • Roddy W. Erickson, David R. Musser
    Pages 220-231

  20. Data structures and control architecture for implementation of theorem-proving programs

    • Ross A. Overbeek, Ewing L. Lusk
    Pages 232-249
Back to top

Bibliographic Information

  • Book Title: 5th Conference on Automated Deduction

  • Book Subtitle: Les Arcs, France, July 8-11, 1980

  • Editors: Wolfgang Bibel, Robert Kowalski

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1980

  • Softcover ISBN: 978-3-540-10009-6Published: 01 June 1980

  • eBook ISBN: 978-3-540-38140-2Published: 13 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 388

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

Publish with us

Policies and ethics

Back to top