Rudrapatna Shyamasundar | Akateeminen Kirjakauppa

For more than a decade, Foundations of Software Technology
and Theoretical Computer Science Conferences have been
providing an annual academic computerscience forum for the
presentation of new results in the topics of current
research in India and abroad. This year, there was a total
of 125 papers from 14 countries. Each paper was reviewed by
at least three reviewers; based on these reviews, the
programme committee selected 28 papers at a meeting held in
July 1992 at the Tata Institute of Fundamental Research,
Bombay.
The selected papers are included in this volume, together
with three invited papers: "Games and full completeness for
multiplicative linear logic" by S. Abramsky, "Recent
developments inalgorithms for the maximum-flow problem" by
K. Melhorn, and "System specification and refinement in
temporal logic" by A. Pnueli.