Logical Foundations of Computer Science

International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

  • Editors
  • Sergei N. Artemov
  • Anil Nerode
Conference proceedings LFCS 2007

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

Table of contents

  1. Front Matter
  2. Sergei Artemov, Eduardo Bonelli
    Pages 12-25
  3. Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel Rivera
    Pages 41-53
  4. Benedikt Bollig, Ingmar Meinecke
    Pages 54-68
  5. Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
    Pages 69-83
  6. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
    Pages 84-99
  7. Rémi Brochenin, Stéphane Demri, Etienne Lozes
    Pages 100-114
  8. Guillaume Burel, Claude Kirchner
    Pages 115-131
  9. Agata Ciabattoni, George Metcalfe
    Pages 132-146
  10. Stéphane Demri, Deepak D’Souza, Régis Gascon
    Pages 180-194
  11. Kai Engelhardt, Peter Gammie, Ron van der Meyden
    Pages 195-211
  12. Melvin Fitting
    Pages 212-223
  13. R. Gentilini, K. Schneider, B. Mishra
    Pages 224-240
  14. Srikanth Gottipati, Anil Nerode
    Pages 254-268
  15. Bernhard Heinemann
    Pages 269-283

About these proceedings

Keywords

Automat automated deduction complexity computer computer science database distributed systems game theory interactive theorem proving logic programming semantics term rewriting theorem proving verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-72734-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-72732-3
  • Online ISBN 978-3-540-72734-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book