Skip to main content
SpringerLink
Log in
Book cover

Computer Science Logic

11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Mogens Nielsen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wolfgang Thomas
    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 1414)

Included in the following conference series:

Conference proceedings info: CSL 1997.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 papers)

  1. Existence of reduction hierarchies

    • Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis
    Pages 327-340

  2. A game-theoretic, concurrent and fair model of the typed λ-calculus, with full recursion

    • Yiannis N. Moschovakis
    Pages 341-359

  3. A conjunctive logical characterization of nondeterministic linear time

    • Frédéric Olive
    Pages 360-372

  4. On the computational complexity of type 2 functionals

    • Elena Pezzoli
    Pages 373-388

  5. Categories with algebraic structure

    • John Power
    Pages 389-405

  6. Concurrent constraint programming and non-commutative logic

    • Paul Ruet, François Fages
    Pages 406-423

  7. A hierarchical approach to monadic second-order logic over graphs

    • Ina Schiering
    Pages 424-440

  8. The monadic quantifier alternation hierarchy over grids and pictures

    • Nicole Schweikardt
    Pages 441-460

  9. Padding and the expressive power of existential second-order logics

    • Thomas Schwentick
    Pages 461-477

  10. Rich ω-words and monadic second-order arithmetic

    • Ludwig Staiger
    Pages 478-490

  11. A simple ordinal recursive normalization of Gödel's T

    • Paul J. Voda
    Pages 491-509

  12. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Computer Science Logic

Keywords

About this book

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.
The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation