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

DOI: 10.1007/978-3-540-72734-7

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

  • 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