This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998. The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic.18th Conference, Chennai, India, December 17-19, 1998 : Proceedings V. Arvind , R. Ramanujam ... 4.1 Top Vertices The analysis is particularly easy when v is a top vertex in Algorithm P. For, in this case, the incident edges all receive coloursanbsp;...
|Title||:||Foundations of Software Technology and Theoretical Computer Science|
|Author||:||V. Arvind, R. Ramanujam|
|Publisher||:||Springer Science & Business Media - 1998-11-25|