FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science

26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

  • S. Arun-Kumar
  • Naveen Garg
Conference proceedings FSTTCS 2006

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Contributed Papers – Track A

    1. Florent Becker, Ivan Rapaport, Éric Rémila
      Pages 45-56
    2. Tanmoy Chakraborty, Samir Datta
      Pages 57-68
    3. Michael A. Bekos, Michael Kaufmann, Katerina Potika, Antonios Symvonis
      Pages 81-92
    4. Pankaj K. Agarwal, Sergio Cabello, J. Antoni Sellarès, Micha Sharir
      Pages 93-104
    5. Shankar Kalyanaraman, Christopher Umans
      Pages 105-116
    6. Gruia Calinescu, Michael J. Pelsmajer
      Pages 117-128
    7. Sourav Chakraborty, Jaikumar Radhakrishnan, Nandakumar Raghunathan, Prashant Sasatte
      Pages 129-138
    8. Sushmita Gupta, Venkatesh Raman, Saket Saurabh
      Pages 139-151
    9. Fedor V. Fomin, Fabrizio Grandoni, Dieter Kratsch
      Pages 152-163
    10. Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi
      Pages 176-187
    11. A. Pavan, Rahul Santhanam, N. V. Vinodchandran
      Pages 188-199

About these proceedings

Keywords

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

Editors and affiliations

  • S. Arun-Kumar
    • 1
  • Naveen Garg
    • 2
  1. 1.Department of Computer Science and EngineeringIndian Institute of Technology DelhiNew DelhiIndia
  2. 2.Indian Institute of TechnologyDelhi

Bibliographic information

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