Advertisement

Table of contents

  1. Front Matter
  2. David Aspinall
    Pages 1-15
  3. Matthias Baaz, Gernot Salzer
    Pages 106-120
  4. Arnaud Durand, Solomampionona Ranaivoson
    Pages 177-189
  5. Etienne Grandjean, Frédéric Olive
    Pages 190-204
  6. Clemens Lautemann, Thomas Schwentick, Denis Thérien
    Pages 205-216
  7. Alexei P. Stolboushkin, Michael A. Taitslin
    Pages 242-248
  8. Stacy E. Finkelstein, Peter Freyd, James Lipton
    Pages 249-263
  9. Valentinas Kriaučiukas, Michał Walicki
    Pages 264-278
  10. Klaus U. Schulz
    Pages 294-308
  11. Roy L. Crole, Andrew D. Gordon
    Pages 339-353
  12. Yiannis N. Moschovakis, Glen T. Whitney
    Pages 382-396
  13. Frank Piessens, Eric Steegmans
    Pages 397-411
  14. Claudio Hermida, Bart Jacobs
    Pages 412-426
  15. Alexander V. Chagrov, Valentin B. Shehtman
    Pages 442-455
  16. Paweł Cholewiński
    Pages 456-470
  17. Nils Klarlund
    Pages 471-485
  18. Hrant B. Marandjian
    Pages 501-511
  19. Back Matter

About these proceedings

Introduction

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.
The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.

Keywords

lambda calculus logic mathematical logic model theory programming proof theory semantics

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0022242
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60017-6
  • Online ISBN 978-3-540-49404-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications