Advertisement

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
  14. Subhas C Nandy, Bhargab B Bhattacharya, Sibabrata Ray
    Pages 255-269
  15. Amitava Datta, G. D. S. Ramkumar
    Pages 270-285
  16. Rocco De Nicola, Gian Luigi Ferrari
    Pages 301-315
  17. Anish Arora, Mohamed Gouda
    Pages 316-331
  18. Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen
    Pages 332-348
  19. Tony T-Y. Juang, S. Venkatesan
    Pages 349-361
  20. Gianna Reggio
    Pages 362-372
  21. B. Chandrasekaran, N. Hari Narayanan
    Pages 388-409
  22. Akshar Bharati, Rajeev Sangal, Vineet Chaitanya
    Pages 410-420

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 Berlin Heidelberg 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
  • Buy this book on publisher's site