Skip to main content
SpringerLink
Log in

Computer Science Logic

14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Peter G. Clote

    1. Department of Computer Science and Department of Biology, Boston College, Chestnut Hill, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Helmut Schwichtenberg

    1. Mathematisches Institut, Ludwig-Maximilian-Universität München, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  3. Contributed Papers

    1. A Fully Complete PER Model for ML Polymorphic Types

      • Samson Abramsky, Marina Lenisa
      Pages 140-155

    2. Subtyping with Power Types

      • David Aspinall
      Pages 156-171

    3. The Descriptive Complexity of the Fixed-Points of Bounded Formulas

      • Albert Atserias
      Pages 172-186

    4. Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic

      • Matthias Baaz, Richard Zach
      Pages 187-201

    5. Continuous Functionals of Dependent Types and Equilogical Spaces

      • Andrej Bauer, Lars Birkedal
      Pages 202-216

    6. Definability over Linear Constraints

      • Michael Benedikt, H. Jerome Keisler
      Pages 217-231

    7. Bounded Arithmetic and Descriptive Complexity

      • Achim Blumensath
      Pages 232-246

    8. Independence: Logics and Concurrency

      • J. C. Bradfield
      Pages 247-261

    9. Flatness Is Not a Weakness

      • Hubert Comon, Vèronique Cortier
      Pages 262-276

    10. Sequents, Frames, and Completeness

      • Thierry Coquand, Guo-Qiang Zhang
      Pages 277-291

    11. Disjunctive Tautologies as Synchronisation Schemes

      • Vincent Danos, Jean-Louis Krivine
      Pages 292-301
Back to top

Keywords

Editors and Affiliations

  • Department of Computer Science and Department of Biology, Boston College, Chestnut Hill, USA

    Peter G. Clote

  • Mathematisches Institut, Ludwig-Maximilian-Universität München, München, Germany

    Helmut Schwichtenberg

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation