Nato ASI Subseries F:

Logic of Computation

Editors: Schwichtenberg, Helmut (Ed.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-59048-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-63832-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (10 chapters)

  • Lectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives

    Aczel, Peter

    Pages 1-33

  • Introduction to Groebner Bases

    Buchberger, Bruno

    Pages 35-66

  • Bounded Arithmetic and Propositional Proof Complexity

    Buss, Samuel R.

    Pages 67-121

  • The Structure of Nuprl’s Type Theory

    Constable, Robert L.

    Pages 123-155

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

    Huet, Gérard

    Pages 157-199

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-59048-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-63832-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic of Computation
Editors
  • Helmut Schwichtenberg
Series Title
Nato ASI Subseries F:
Series Volume
157
Copyright
1997
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-59048-1
DOI
10.1007/978-3-642-59048-1
Softcover ISBN
978-3-642-63832-9
Series ISSN
0258-1248
Edition Number
1
Number of Pages
VII, 403
Topics