Table of contents

  1. Front Matter
  2. Tien Huynh, Leo Joskowicz, Catherine Lassez, Jean-Louis Lassez
    Pages 1-20
  3. Li Yan Yuan, Jia-Huai You
    Pages 21-32
  4. Ramesh Subrahmanyam
    Pages 33-47
  5. M. Masseron, C. Tollu, J. Vauzeilles
    Pages 63-75
  6. A. Saoudi, D. E. Muller, P. E. Schupp
    Pages 91-103
  7. Christopher P. Lewington
    Pages 115-132
  8. Deepak Kapur, G. Sivakumar, Hantao Zhang
    Pages 133-148
  9. R. Lin, S. Olariu
    Pages 176-189
  10. Christos Levcopoulos, Andrzej Lingas, Ola Petersson, Wojciech Rytter
    Pages 204-214
  11. Sanguthevar Rajasekaran
    Pages 215-224
  12. David Pearson, Vijay Vazirani
    Pages 225-231
  13. Jyh-Jong Fu, R. C. T. Lee
    Pages 238-254

About these proceedings

Introduction

This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide a forum for professional interaction between members of this research community and their counterparts in different parts of the world. The volume includes four invited papers on: - reasoning about linear constraints using parametric queries, - the parallel evaluation of classes of circuits, - a theory of commonsense visual reasoning, - natural language processing, complexity theory and logic. The 26 submitted papers are organized into sections on logic, automata and formal languages, theory of programming, parallel algorithms, geometric algorithms, concurrency, distributed computing, and semantics.

Keywords

Automat Processing algorithm algorithms automata complexity complexity theory computer computer science distributed computing formal language formal languages logic programming semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-53487-3
  • Copyright Information Springer-Verlag 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-53487-7
  • Online ISBN 978-3-540-46313-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book