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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-62034-6
  • Copyright Information Springer-Verlag 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
  • About this book