Advertisement

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
  16. Baruch Awerbuch, Lefteris M. Kirousis, Evangelos Kranakis, Paul M. B. Vitányi
    Pages 286-303
  17. Jules Desharnais, Nazim H. Madhavji
    Pages 304-328
  18. Martin C. Henson, Raymond Turner
    Pages 329-347
  19. Prakash Panangaden, Vasant Shanbhogue
    Pages 348-363
  20. Koichi Furukawa, Kazunori Ueda
    Pages 364-376
  21. Keshav Pingali, Kattamuri Ekanadham
    Pages 377-399
  22. K. S. H. S. R. Bhatta, Harish Karnick
    Pages 400-418
  23. Deepak Kapur, David Musser, Paliath Narendran, Jonathan Stillman
    Pages 435-454
  24. Alain Beauvieux
    Pages 455-468
  25. José Fiadeiro, Amílcar Sernadas, Cristina Sernadas
    Pages 469-486
  26. Jürgen M. Janas
    Pages 487-508
  27. Back Matter

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

  • DOI https://doi.org/10.1007/3-540-50517-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering