Skip to main content
SpringerLink
Log in

Logic of Computation

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Helmut Schwichtenberg

    1. Mathematisches Institut, Ludwig-Maximilians-Universität München, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: NATO ASI Subseries F: (NATO ASI F, volume 157)

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Table of contents (10 papers)

  1. Front Matter

    Pages I-VII
    Download chapter PDF

  2. Lectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives

    • Peter Aczel
    Pages 1-33

  3. Introduction to Groebner Bases

    • Bruno Buchberger
    Pages 35-66

  4. Bounded Arithmetic and Propositional Proof Complexity

    • Samuel R. Buss
    Pages 67-121

  5. The Structure of Nuprl’s Type Theory

    • Robert L. Constable
    Pages 123-155

  6. Axiomatisations, Proofs, and Formal Specifications of Algorithms: Commented Case Studies in the Coq Proof Assistant

    • Gérard Huet
    Pages 157-199

  7. Some Proof Theory of First Order Logic Programming

    • Gerhard Jäger
    Pages 201-228

  8. Timed Rewriting Logic for the Specification of Time-Sensitive Systems

    • Piotr Kosiuczenko, Martin Wirsing
    Pages 229-264

  9. Logic Programming and Meta-Logic

    • Dale Miller
    Pages 265-308

  10. Proofs, Lambda Terms and Control Operators

    • Helmut Schwichtenberg
    Pages 309-347

  11. Basic Proof Theory with Applications to Computation

    • Stanley S. Wainer
    Pages 349-394

  12. Back Matter

    Pages 395-401
    Download chapter PDF
Back to top

Keywords

About this book

The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the following. • The proofs-as-programs paradigm, which makes it possible to extract verified programs directly from proofs. Here a higher order logic or type theoretic setup of the underlying language has developed into a standard. • Extensions of logic programming, e.g. by allowing more general formulas and/or higher order languages. • Proof theoretic methods, which provide tools to deal with questions of feasibility of computations and also to develop a general mathematical understanding of complexity questions. • Rewrite systems and unification, again in a higher order context. Closely related is the now well-established Grabner basis theory, which recently has found interesting applications. • Category theoretic and more generally algebraic methods and techniques to analyze the semantics of programming languages. All these issues were covered by a team of leading researchers. Their courses were grouped under the following headings.

Editors and Affiliations

  • Mathematisches Institut, Ludwig-Maximilians-Universität München, München, Germany

    Helmut Schwichtenberg

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation