Advertisement

Computational Logic

Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29–August 10, 1997

  • Ulrich Berger
  • Helmut Schwichtenberg
Conference proceedings

Part of the NATO ASI Series book series (volume 165)

Table of contents

  1. Front Matter
    Pages i-vii
  2. Samson Abramsky, Guy McCusker
    Pages 1-55
  3. Henk Barendregt
    Pages 99-111
  4. Samuel R. Buss
    Pages 127-178
  5. Robert L. Constable
    Pages 179-213
  6. W. G. Handley, S. S. Wainer
    Pages 273-300
  7. José Meseguer
    Pages 347-398
  8. Back Matter
    Pages 445-448

About these proceedings

Introduction

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

Keywords

Complexity theory Komplexitätstheorie Program specification Program verification Type theory Typentheorie complexity computer logic proof theory semantics

Editors and affiliations

  • Ulrich Berger
    • 1
  • Helmut Schwichtenberg
    • 1
  1. 1.Department of MathematicsUniversity of MunichMunichGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-58622-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-63670-7
  • Online ISBN 978-3-642-58622-4
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications