Advertisement

Table of contents

  1. Front Matter
  2. Manuel Blum
    Pages 1-9
  3. Andreas Blass, Yuri Gurevich
    Pages 10-24
  4. Subrata Mitra, G. Sivakumar
    Pages 40-56
  5. Qing-Ping Tan, Huo-Wang Chen
    Pages 57-70
  6. Kamal Lodaya, R. Ramanujam
    Pages 71-88
  7. John Case, Sanjay Jain, Arun Sharma
    Pages 121-140
  8. Bertrand Le Saec, Jean-Eric Pin, Pascal Weil
    Pages 141-151
  9. Tao Jiang, Edward McDowell, B. Ravikumar
    Pages 152-171
  10. Meena Mahajan, Kamala Krithivasan
    Pages 172-185
  11. Sam Kim, Robert McNaughton
    Pages 186-211
  12. Judy Goldsmith, Lane A. Hemachandra, Kenneth Kunen
    Pages 212-223
  13. J. Ian Munro, Venkatesh Raman
    Pages 266-277
  14. Sachin Patkar, H. Narayanan
    Pages 288-306
  15. Inga Niepel, Peter Rossmanith
    Pages 307-318
  16. Martin Fürer, Balaji Raghavachari
    Pages 319-335
  17. Danny Krizanc, Lata Narayanan, Rajeev Raman
    Pages 336-346
  18. Yishay Mansour, James K. Park, Baruch Schieber, Sandeep Sen
    Pages 347-359
  19. Christos H. Papadimitriou, Venkat Rangan, Martha Sideri
    Pages 360-368
  20. Subir Kumar Ghosh, Anil Maheshwari, Sudebkumar Prasant Pal, Sanjeev Saluja, C. E. Veni Madhavan
    Pages 369-389
  21. Binay K. Bhattacharya
    Pages 390-419
  22. Back Matter

About these proceedings

Introduction

This volume contains the proceedings of the Eleventh Conference on Foundations of Software Technology and Theoretical Computer Science held in New Dehli, India December 17-19, 1991. Three invited papers and 25 contributed papers selected from 78 submissions by authors from many different countries reflect the current research concerns of the theoreticalcomputer science community. The topics covered include: -Algorithms (sequential, parallel and geometric) -Automata theory -Functional programming -Learning -Logic of programs -Semantics -Structural complexity theory -Type theory.

Keywords

Automat algorithm algorithms automata automata theory complexity complexity theory computer computer science programming semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-54967-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54967-3
  • Online ISBN 978-3-540-46612-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site