Theoretical Computer Science and General Issues

Logical Foundations of Computer Science

International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Editors: Artemov, Sergei, Nerode, Anil (Eds.)

Free Preview

Buy this book

eBook $99.00
price for USA in USD
  • ISBN 978-3-540-92687-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
About this book

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.

The volume presents 31 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical aspects of computational complexity, logic programming and constraints, automated deduction and interactive theorem proving, logical methods in protocol and program verification and in program specification and extraction, domain theory logics, logical foundations of database theory, equational logic and term rewriting, lambda and combinatory calculi, categorical logic and topological semantics, linear logic, epistemic and temporal logics, intelligent and multiple agent system logics, logics of proof and justification, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science.

Table of contents (31 chapters)

Table of contents (31 chapters)
  • Applications of Finite Duality to Locally Finite Varieties of BL-Algebras

    Pages 1-15

    Aguzzoli, Stefano (et al.)

  • Completeness Results for Memory Logics

    Pages 16-30

    Areces, Carlos (et al.)

  • Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination

    Pages 31-45

    Avron, Arnon (et al.)

  • Temporalization of Probabilistic Propositional Logic

    Pages 46-60

    Baltazar, Pedro (et al.)

  • Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings

    Pages 61-75

    Bedon, Nicolas

Buy this book

eBook $99.00
price for USA in USD
  • ISBN 978-3-540-92687-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logical Foundations of Computer Science
Book Subtitle
International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
Editors
  • Sergei Artemov
  • Anil Nerode
Series Title
Theoretical Computer Science and General Issues
Series Volume
5407
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-92687-0
DOI
10.1007/978-3-540-92687-0
Softcover ISBN
978-3-540-92686-3
Edition Number
1
Number of Pages
XI, 469
Topics