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

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 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
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology