Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1997

Computer Science Logic

10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers

Editors:

  1. Dirk Dalen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marc Bezem
    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 1258)

Conference series link(s): CSL: International Workshop on Computer Science Logic

Conference proceedings info: CSL 1996.

Sections

Buy it now

Softcover Book USD 54.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

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

Table of contents (28 papers)

  1. Front Matter

    PDF

  2. Four-valued diagnoses for stratified knowledge-bases

    • Ofer Arieli, Arnon Avron
    Pages 1-17

  3. Fast cut-elimination by projection

    • Matthias Baaz, Alexander Leitsch
    Pages 18-33

  4. On the subject reduction property for algebraic type systems

    • G. Barthe, P. -A. Mellies
    Pages 34-57

  5. Presheaf models for concurrency

    • Gian Luca Cattani, Glynn Winskel
    Pages 58-75

  6. Directed virtual reductions

    • Vincent Danos, Marco Pedicini, Laurent Regnier
    Pages 76-88

  8. Graph rewriting semantics for functional programming languages

    • Marko van Eekelen, Sjaak Smetsers, Rinus Plasmeijer
    Pages 106-128

  10. Relative undecidability in term rewriting

    • Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema
    Pages 150-166

  12. Eta-expansions in F ω

    • Neil Ghani
    Pages 182-197

  13. Cut-free display calculi for relation algebras

    • Rajeev Goré
    Pages 198-210

  14. Computational aspects of arity hierarchies

    • Henrik Imhof
    Pages 211-225

  15. Weak semantics based on lighted button pressing experiments

    • Anna Ingólfsdóttir
    Pages 226-243

  16. Kleene algebra with tests: Completeness and decidability

    • Dexter Kozen, Frederick Smith
    Pages 244-259

  17. Monadic NP and built-in trees

    • Martin Kreidler, Detlef Seese
    Pages 260-274

  18. Coercive subtyping in type theory

    • Zhaohui Luo
    Pages 275-296

  20. Optimization problems with approximation schemes

    • Anders Malmström
    Pages 316-333
Back to top

Other Volumes

  1. Computer Science Logic

Back to top

About this book

This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996.
The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.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

Search

Navigation