Table of contents

  1. Front Matter
  2. Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph Stoy
    Pages 19-36
  3. J. Ian Munro
    Pages 37-42
  4. J. C. Lagarias, N. Prabhu, J. A. Reeds
    Pages 52-63
  5. Kamal Jain, S. Arun-Kumar
    Pages 100-110
  6. Sanjiv Kapoor, Tripurari Singh
    Pages 123-134
  7. Christos Levcopoulos, Joachim Gudmundsson
    Pages 135-146
  8. Pallab Dasgupta, P. P. Chakrabarti, S. C. DeSarkar
    Pages 147-155
  9. Philippe Codognet, Daniel Diaz, Francesca Rossi
    Pages 168-179
  10. Tobias Nipkow
    Pages 180-192
  11. Bala Kalyanasundaram, Kirk Pruhs
    Pages 193-199
  12. T. L. Morin, N. Prabhu, Z. Zhang
    Pages 212-223
  13. John Glauert, Zurab Khasidashvili
    Pages 238-249
  14. R. Ramanujam
    Pages 250-261
  15. Henrik Linnestad, Christian Prehofer, Olav Lysne
    Pages 274-285
  16. Henning Fernau, Klaus-Jörn Lange, Klaus Reinhardt
    Pages 286-297
  17. Mirosław Kutyłowski, Krzysztof LoryŚ
    Pages 310-321
  18. Manindra Agrawal, Richard Beigel, Thomas Thierauf
    Pages 322-334
  19. Milind Gandhe, G. Venkatesh, Amitabha Sanyal
    Pages 347-358
  20. Nobuko Yoshida
    Pages 371-386
  21. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS '96, held in Hyderabad, India, in December 1996.
The volume presents 28 revised full papers selected from a total of 98 submissions; also included are four invited contributions. The papers are organized in topical sections on computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.


Algorithmen Algorithmische Geometrie Prozeßalgebren Typentheorie algorithm algorithms complexity complexity theory computational geometry process algebras program semantics semantics type theory

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-62034-1
  • Online ISBN 978-3-540-49631-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site