Advertisement

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
    11. Véronique Cortier, Michaël Rusinowitch, Eugen Zălinescu
      Pages 303-318
    12. Paolo Di Giamberardino, Claudia Faggian
      Pages 319-333
    13. Arnaud Durand, Frédéric Olive
      Pages 334-348
    14. Stefan Göller, Markus Lohrey
      Pages 349-364
    15. Will Harwood, Faron Moller, Anton Setzer
      Pages 365-379
    16. Lauri Hella, José María Turull-Torres
      Pages 380-394
    17. Thomas A. Henzinger, Nir Piterman
      Pages 395-410
    18. Clemens Lautemann, Pascal Tesson, Denis Thérien
      Pages 426-440
    19. Stéphane Lengrand, Roy Dyckhoff, James McKinna
      Pages 441-455
    20. Tobias Löw, Thomas Streicher
      Pages 456-470
    21. Jerzy Marcinkowski
      Pages 486-500
    22. Ursula Martin, Erik A. Mathiesen, Paulo Oliva
      Pages 501-515
    23. Wojciech Moczydłowski
      Pages 516-530
    24. Alexander Rabinovich
      Pages 546-561
    25. Alexander Rabinovich, Wolfgang Thomas
      Pages 562-574
    26. Bernhard Reus, Jan Schwinghammer
      Pages 575-590
    27. Ulrich Schöpp
      Pages 606-621
  4. Appendix

    1. S. Abramsky, E. Grädel, J. Makowsky
      Pages 622-626
  5. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering