Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (38 papers)
-
Front Matter
Bibliographic Information
Book Title: Foundations of Software Technology and Theoretical Computer Science
Book Subtitle: 13th Conference, Bombay, India, December 15-17, 1993. Proceedings
Editors: Rudrapatna K. Shyamasundar
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-57529-4
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1993
Softcover ISBN: 978-3-540-57529-0Published: 23 November 1993
eBook ISBN: 978-3-540-48211-6Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: CDLXXVI, 462
Topics: Theory of Computation, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Computation by Abstract Devices, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages