Advertisement

Computer Science Logic

14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

  • Peter G. Clote
  • Helmut Schwichtenberg
Conference proceedings CSL 2000

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1862)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Papers

  3. Contributed Papers

    1. Samson Abramsky, Marina Lenisa
      Pages 140-155
    2. David Aspinall
      Pages 156-171
    3. Matthias Baaz, Richard Zach
      Pages 187-201
    4. Andrej Bauer, Lars Birkedal
      Pages 202-216
    5. Michael Benedikt, H. Jerome Keisler
      Pages 217-231
    6. Achim Blumensath
      Pages 232-246
    7. J. C. Bradfield
      Pages 247-261
    8. Hubert Comon, Vèronique Cortier
      Pages 262-276
    9. Thierry Coquand, Guo-Qiang Zhang
      Pages 277-291
    10. Vincent Danos, Jean-Louis Krivine
      Pages 292-301
    11. Peter Hancock, Anton Setzer
      Pages 317-331
    12. Reinhard Kahle, Thomas Studer
      Pages 356-370
    13. Roman Kuznets
      Pages 371-383
    14. J. Laird
      Pages 384-398
    15. Alberto Momigliano
      Pages 411-426
    16. A. S. Murawski, C.-H. L. Ong
      Pages 427-441
    17. Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl
      Pages 457-471
    18. John Power, Edmund Robinson
      Pages 497-511
    19. Peter M. Schuster
      Pages 512-526
    20. Rostislav E. Yavorsky
      Pages 527-541
  4. Back Matter
    Pages 543-543

About these proceedings

Keywords

Automat Constraint automated deduction complexity computer formal specification formal verification logic model checking proving theorem proving verification

Editors and affiliations

  • Peter G. Clote
    • 1
  • Helmut Schwichtenberg
    • 2
  1. 1.Department of Computer Science and Department of BiologyBoston CollegeChestnut HillUSA
  2. 2.Mathematisches InstitutLudwig-Maximilian-Universität MünchenMünchenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44622-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67895-3
  • Online ISBN 978-3-540-44622-4
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site