FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

  • Kamal Lodaya
  • Meena Mahajan
Conference proceedings FSTTCS 2004

DOI: 10.1007/b104325

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Max A. Alekseyev, Pavel A. Pevzner
      Pages 1-15
    2. Javier Esparza, Kousha Etessami
      Pages 16-31
  3. Contributed Papers

    1. Michaël Adélaïde, Claire Pagetti
      Pages 71-83
    2. Josh Berdine, Cristiano Calcagno, Peter W. O’Hearn
      Pages 97-109
    3. Mark de Berg, Micha Streppel
      Pages 110-121
    4. Olaf Beyersdorff
      Pages 122-134
    5. Ahmed Bouajjani, Antoine Meyer
      Pages 135-147
    6. Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim G. Larsen
      Pages 148-160
    7. Marco Carbone, Mogens Nielsen, Vladimiro Sassone
      Pages 161-173
    8. Vijay Chandru, Ramesh Hariharan, Narasimha M. Krishnakumar
      Pages 174-185
    9. Ho-lun Cheng, Tony Tan
      Pages 186-197
    10. Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie
      Pages 198-210
    11. Anuj Dawar, Philippa Gardner, Giorgio Ghelli
      Pages 211-223

About these proceedings

Keywords

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

Editors and affiliations

  • Kamal Lodaya
    • 1
  • Meena Mahajan
    • 2
  1. 1.The Institute of Mathematical SciencesChennaiIndia
  2. 2.The Institute of Mathematical SciencesChennaiIndia

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-24058-7
  • Online ISBN 978-3-540-30538-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349