Table of contents

  1. Front Matter
  2. J. Cheriyan, S. N. Maheshwari
    Pages 30-48
  3. S. V. Krishnan, C. Pandu Rangan, S. Seshadri
    Pages 49-66
  4. Maxime Crochemore
    Pages 80-87
  5. Susmita Sur-Kolay, Bhargab B. Bhattacharya
    Pages 88-107
  6. Amitava Datta, Kamala Krithivasan
    Pages 108-121
  7. Ching-Tsun Chou, Inder S. Gopal
    Pages 122-122
  8. Claudio Arbib, Giuseppe F. Italiano, Alessandro Panconesi
    Pages 123-142
  9. Sanjeev Saxena, P. C. P. Bhatt, V. C. Prasad
    Pages 143-153
  10. Christos Levcopoulos, Ola Petersson
    Pages 154-160
  11. V. Nageshwara Rao, Vipin Kumar
    Pages 161-174
  12. Sanjeev N. Khadilkar, Somenath Biswas
    Pages 211-224
  13. Craig A. Rich, Giora Slutzki
    Pages 225-239
  14. Walter W. Kirchherr
    Pages 240-249
  15. Rod Burstall, Furio Honsell
    Pages 250-269

About these proceedings

Introduction

This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.

Keywords

Algorithms Automat Processing Resolution Variable automata complexity computer distributed computing formal language knowledge base programming proving semantics theorem proving

Bibliographic information

  • Copyright Information Springer-Verlag 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-50517-4
  • Online ISBN 978-3-540-46030-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349