Advertisement

© 2000

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

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

Industry Sectors
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Pharma
Materials & Steel
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering