Advertisement

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
  13. K Narayan Kumar, Paritosh K Pandya
    Pages 231-242
  14. Yuichi Kaji, Toru Kasami, Tom Fujiwara
    Pages 276-287
  15. R. Ramesh, I. V. Ramakrishnan, R. C. Sekar
    Pages 288-299
  16. Vivek Arora, Vempala Santosh, Huzur Saran, Vijay V. Vazirani
    Pages 318-329
  17. Pierluigi Crescenzi, Luca Trevisan
    Pages 330-341
  18. H. B. Hunt Jr, M. V. Marathe, V. Radhakrishnan, S. S. Ravi, D. J. Rosenkrantz, R. E. Stearns
    Pages 342-353
  19. Ashok Subramanian
    Pages 354-365
  20. Jörg Desel, Micaela-Daphne Radola
    Pages 366-377
  21. Edgar Knapp
    Pages 378-389
  22. M. Siegel, F. A. Stomp
    Pages 402-413
  23. Vladimir Estivill-Castro, Derick Wood
    Pages 414-425
  24. J. N. Hooker, V. Vinay
    Pages 426-437
  25. Deepak Kapur, M. Subramaniam
    Pages 438-449
  26. Back Matter

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
  • Buy this book on publisher's site