Table of contents

  1. Front Matter
  2. Felice Cardone
    Pages 1-21
  3. Rohit Parikh
    Pages 22-29
  4. Vladimir Yu. Sazonov
    Pages 30-51
  5. Stephen Bloch
    Pages 52-76
  6. Ulrich Berger, Helmut Schwichtenberg
    Pages 77-97
  7. Peter Clote
    Pages 98-130
  8. Jean-Yves Girard
    Pages 145-176
  9. Samuel R. Buss
    Pages 195-209
  10. Jan Krajíček, Pavel Pudlák
    Pages 210-220
  11. Gaisi Takeuti
    Pages 221-252
  12. Anil Seth
    Pages 269-280
  13. Douglas Cenzer, Jeffrey B. Remmel
    Pages 300-312
  14. Erich Grädel, Yuri Gurevich
    Pages 313-366
  15. Bakhadyr Khoussainov, Anil Nerode
    Pages 367-392
  16. Ronald Fagin
    Pages 414-425
  17. Stéphane Grumbach, Jianwen Su, Christophe Tollu
    Pages 426-446
  18. J. A. Makowsky, Y. B. Pnueli
    Pages 463-479
  19. Eric Rosen, Scott Weinstein
    Pages 480-502
  20. Dan Suciu, Val Breazu-Tannen
    Pages 503-514
  21. Back Matter

About these proceedings


This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC '94, held in Indianapolis, IN in October 1994.
The synergy between logic and computational complexity has gained importance and vigor in recent years, cutting across many areas. The 25 revised full papers in this book contributed by internationally outstanding researchers document the state-of-the-art in this interdisciplinary field of growing interest; they are presented in sections on foundational issues, applicative and proof-theoretic complexity, complexity of proofs, computational complexity of functionals, complexity and model theory, and finite model theory.


Algorithmische Komplexität Applicative Complexity Applikative Komplexität Beweistheoretische Komplexität Beweistheorie Computational Complexity Model Theory Modelltheorie Proof Theory Proof-Theoretic Complexity complexity logic

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60178-4
  • Online ISBN 978-3-540-44720-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site