Advertisement

Table of contents

  1. Front Matter
  2. Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers
    Pages 1-17
  3. Simon Ambler, Marta Kwiatkowska, Nicholas Measor
    Pages 18-32
  4. Matthias Baaz, Richard Zach
    Pages 33-35
  5. Jan A. Bergstra, Inge Bethke, Alban Ponse
    Pages 36-65
  6. Andreas Blass
    Pages 66-77
  7. Kevin J. Compton, Rosario Uceda-Sosa
    Pages 78-90
  8. Erich Grädel, Anders Malmström
    Pages 139-149
  9. Yoram Hirshfeld
    Pages 165-174
  10. Dexter Kozen
    Pages 175-188
  11. J. A. Makowsky, Y. B. Pnueli
    Pages 189-222
  12. Robin Milner
    Pages 238-260
  13. Christophe Raffalli
    Pages 280-294
  14. Wilfried Sieg, Stanley S. Wainer
    Pages 305-317
  15. Yuri Gurevich, James K. Huggins
    Pages 334-336

About these proceedings

Introduction

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.
The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

Keywords

CSL Computer Science Logic Horn Clauses Horn-Klauseln Informatik-Logik Lambda Calculi Lambda-Kalküle Mathematical Logic Program Semantics computer computer science lambda calculus logic

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0049319
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58277-9
  • Online ISBN 978-3-540-48599-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site