Table of contents

  1. Front Matter
  2. Steffen van Bakel
    Pages 13-23
  3. Hassan Aït-Kaci, Jacques Garrigue
    Pages 24-40
  4. Erik Barendsen, Sjaak Smetsers
    Pages 41-51
  5. Gérard Berry
    Pages 72-93
  6. S. R. Kulkarni, S. K. Mitter, T. J. Richardson, J. N. Tsitsiklis
    Pages 94-103
  7. Klaus-Jörn Lange, Rolf Niedermeier
    Pages 104-113
  8. Nachum Dershowitz, Subrata Mitra
    Pages 139-150
  9. Peter J. Stuckey, S. Sudarshan
    Pages 161-171
  10. Y. S. Ramakrishna, L. K. Dillon, L. E. Moser, P. M. Melliar-Smith, G Kutty
    Pages 173-192
  11. Viswanath Ramachandran, Pascal van Hentenryck
    Pages 205-217
  12. B. Asberg, G. Blanco, P. Bose, J. Garcia-Lopez, M. Overmars, G. Toussaint et al.
    Pages 228-237
  13. Venkatesh Radhakrishnan, Sven O. Krumke, Madhav V. Marathe, Daniel J. Rosenkrantz, S. S. Ravi
    Pages 238-247
  14. Magnús M. Halldórsson, Jaikumar Radhakrishnan, K. V. Subrahmanyam
    Pages 248-259
  15. Felipe Cucker, Francesc Rosselló
    Pages 260-267
  16. Wolfgang Reif, Kurt Stenzel
    Pages 284-293
  17. Christian Antoine, Bernard Le Goff, Jean-Eric Pin
    Pages 306-316
  18. Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
    Pages 318-325
  19. Allan Cheng, Javier Esparza, Jens Palsberg
    Pages 326-337
  20. Ryszard Janicki, Maciej Koutny
    Pages 348-357
  21. K. Narayan Kumar, Paritosh K Pandya
    Pages 358-372
  22. Kohei Honda, Nobuko Yoshida
    Pages 373-387
  23. Madhavan Mukund, Milind Sohoni
    Pages 388-399
  24. Sudhanshu Aggarwal, Shay Kutten
    Pages 400-410
  25. V. K. Vaishnavi, D. Khanna
    Pages 419-435
  26. Devdatt P. Dubhashi, Kurt Mehlhorn, Desh Ranjan, Christian Thiel
    Pages 436-443
  27. Back Matter

About these proceedings


For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual forum for the presentation of new research results in India and abroad. This year, 119 papers from 20 countries were submitted. Each paper was reviewed by at least three reviewers, and 33 papers were selected for presentation and included in this volume, grouped into parts on type theory, parallel algorithms, term rewriting, logic and constraint logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms, and algorithms and learning theory. Also included in the volume are the five invited papers presented at theconference.


Algorithmen Algorthmische Geometrie Computational Geometry Concurrency Komplexität Type Theory Typentheorie algorithm algorithms complexity logic programming

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking