Table of contents

  1. Front Matter
  2. Jean-Marc Couveignes, Juan Francisco Diaz-Frias, Michel de Rougemont, Miklos Santha
    Pages 12-23
  3. Hervé Caussinus, François Lemieux
    Pages 36-47
  4. Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder
    Pages 77-88
  5. Hideki Tsuiki
    Pages 101-112
  6. Daniele Frigioni, Alberto Marchetti-Spaccamela, Umberto Nanni
    Pages 113-124
  7. Srinivasa Rao Arikati, Anil Maheshwari
    Pages 125-136
  8. C. R. Subramanian, C. E. Veni Madhavan
    Pages 137-148
  9. Subhas C. Nandy, Arani Sinha, Bhargab B. Bhattacharya
    Pages 159-170
  10. Supriya Biswas, D. Chithra Prasad, Sudebkumar Prasant Pal
    Pages 181-192
  11. Roberto M. Amadio, Sanjiva Prasad
    Pages 205-216
  12. V. Natarajan, I. Christoff, L. Christoff, R. Cleaveland
    Pages 217-230

About these proceedings

Introduction

This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India in December 1994.
Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoretical computer science with an emphasis on algorithms and complexity. Other topics covered are program semantics, program verification, formal logic, computational geometry, concurrency, unification, and discrete mathematics.

Keywords

algorithm algorithms complexity computational geometry computer computer science formal logic logic semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-58715-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58715-6
  • Online ISBN 978-3-540-49054-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book