Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

  • Zoltán Ésik

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

Table of contents

  1. Front Matter
  2. Invited Presentations

  3. Contributions

    1. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
      Pages 119-134
    2. Sergei Artemov, Roman Kuznets
      Pages 135-149
    3. Vincent Atassi, Patrick Baillot, Kazushige Terui
      Pages 150-166
    4. Nick Benton
      Pages 182-196
    5. G. Bonfante, R. Kahle, J. -Y. Marion, I. Oitavem
      Pages 212-224
    6. Arnaud Carayol, Christophe Morvan
      Pages 225-239
    7. R. Chadha, P. Mateus, A. Sernadas
      Pages 240-255
    8. Krishnendu Chatterjee
      Pages 256-270
    9. Krishnendu Chatterjee
      Pages 271-286
    10. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
      Pages 287-302

About these proceedings

Keywords

AI logics Action Constraint classical logic complexity computational logic finite models higher order logic linear logic logic logic programming mathematical logic model checking nonclassical logic permutative logic

Editors and affiliations

  • Zoltán Ésik
    • 1
  1. 1.Research Group on Mathematical LinguisticsRovira i Virgili UniversityTarragonaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/11874683
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-45458-8
  • Online ISBN 978-3-540-45459-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book