FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings

  • Paritosh K. Pandya
  • Jaikumar Radhakrishnan
Conference proceedings FSTTCS 2003
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2914)

Table of contents

  1. Front Matter
  2. Contributed Papers

    1. Andreas Baltz, Gerold Jäger, Anand Srivastav
      Pages 13-22
    2. Nicolas Biri, Didier Galmiche
      Pages 23-37
    3. Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky
      Pages 38-49
    4. Stephen L. Bloom, Zoltán Ésik
      Pages 50-61
    5. Mikołaj Bojañczyk
      Pages 62-73
    6. Ahmed Bouajjani, Tayssir Touili
      Pages 74-87
    7. Alexis-Julien Bouquet, Oliver Serre, Igor Walukiewicz
      Pages 88-99
    8. Véronique Bruyère, Jean-François Raskin
      Pages 100-111
    9. Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
      Pages 124-135
    10. Emmanuel Coquery, François Fages
      Pages 136-148
    11. Volker Diekert, Markus Lohrey
      Pages 156-167
    12. Funda Ergun, S. Muthukrishnan, S. Cenk Sahinalp
      Pages 183-194
    13. Zoltán Ésik, Pascal Weil
      Pages 195-207
    14. Parikshit Gopalan, Richard J. Lipton, Aranyak Mehta
      Pages 208-216
    15. Joachim Gudmundsson, Giri Narasimhan, Michiel Smid
      Pages 217-228

About these proceedings

Keywords

algorithm algorithmics algorithms complexily theory computer computer science computing theory distributed algorithms formal methods optimization program semantics programming programming calculs programming theory theoretical computer science

Editors and affiliations

  • Paritosh K. Pandya
    • 1
  • Jaikumar Radhakrishnan
    • 2
  1. 1.Tata Institute of Fundamental ResearchIndia
  2. 2.Tata Institute of Fundamental ResearchSchool of Technology and Computer ScienceMumbaiIndia

Bibliographic information

  • DOI https://doi.org/10.1007/b94618
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20680-4
  • Online ISBN 978-3-540-24597-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book

Industry Sectors