Table of contents

  1. Front Matter
  2. Steffen van Bakel
    Pages 13-23
  3. Hassan Aït-Kaci, Jacques Garrigue
    Pages 24-40
  4. Erik Barendsen, Sjaak Smetsers
    Pages 41-51
  5. Gérard Berry
    Pages 72-93
  6. S. R. Kulkarni, S. K. Mitter, T. J. Richardson, J. N. Tsitsiklis
    Pages 94-103
  7. Klaus-Jörn Lange, Rolf Niedermeier
    Pages 104-113
  8. Nachum Dershowitz, Subrata Mitra
    Pages 139-150
  9. Peter J. Stuckey, S. Sudarshan
    Pages 161-171
  10. Y. S. Ramakrishna, L. K. Dillon, L. E. Moser, P. M. Melliar-Smith, G Kutty
    Pages 173-192
  11. Viswanath Ramachandran, Pascal van Hentenryck
    Pages 205-217
  12. B. Asberg, G. Blanco, P. Bose, J. Garcia-Lopez, M. Overmars, G. Toussaint et al.
    Pages 228-237
  13. Venkatesh Radhakrishnan, Sven O. Krumke, Madhav V. Marathe, Daniel J. Rosenkrantz, S. S. Ravi
    Pages 238-247

About these proceedings

Introduction

For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual forum for the presentation of new research results in India and abroad. This year, 119 papers from 20 countries were submitted. Each paper was reviewed by at least three reviewers, and 33 papers were selected for presentation and included in this volume, grouped into parts on type theory, parallel algorithms, term rewriting, logic and constraint logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms, and algorithms and learning theory. Also included in the volume are the five invited papers presented at theconference.

Keywords

Algorithmen Algorthmische Geometrie Computational Geometry Concurrency Komplexität Type Theory Typentheorie algorithm algorithms complexity logic programming

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-57529-4
  • Copyright Information Springer-Verlag 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57529-0
  • Online ISBN 978-3-540-48211-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book