FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

  • Editors
  • V. Arvind
  • Sanjiva Prasad

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Maurice Herlihy
      Pages 1-8
    2. Benjamin C. Pierce
      Pages 21-22
    3. Thomas Reps, Akash Lal, Nick Kidd
      Pages 23-51
    4. Salil Vadhan
      Pages 52-70
  3. Contributed Papers

    1. Amit Kumar, Yogish Sabharwal
      Pages 71-83
    2. Takuro Fukunaga, Magnús M. Halldórsson, Hiroshi Nagamochi
      Pages 84-95
    3. Naveen Garg, Amit Kumar, Vinayaka Pandit
      Pages 96-107
    4. Michael Backes, Markus Dürmuth, Ralf Küsters
      Pages 108-120
    5. Yannick Chevalier, Mounira Kourjieh
      Pages 121-132
    6. Stéphanie Delaune, Steve Kremer, Mark Ryan
      Pages 133-145
    7. Christian Glaßer, Alan L. Selman, Stephen Travers, Liyu Zhang
      Pages 146-157
    8. Jacobo Torán
      Pages 158-167
    9. Ryan C. Harkins, John M. Hitchcock, A. Pavan
      Pages 168-178
    10. Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
      Pages 179-191
    11. Michel Hirschowitz, André Hirschowitz, Tom Hirschowitz
      Pages 192-203
    12. Diptikalyan Saha
      Pages 204-215
    13. Ravi Kumar, D. Sivakumar
      Pages 228-240

About these proceedings

Keywords

Automat automata automata theory complexity complexity theory computer computer science design formal method logic mathematical logic programming

Bibliographic information

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