This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS '96, held in Hyderabad, India, in December 1996.
The volume presents 28 revised full papers selected from a total of 98 submissions; also included are four invited contributions. The papers are organized in topical sections on computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.
Produkteigenschaften
- Artikelnummer: 9783540620341
- Medium: Buch
- ISBN: 978-3-540-62034-1
- Verlag: Springer Berlin Heidelberg
- Erscheinungstermin: 27.11.1996
- Sprache(n): Englisch
- Auflage: 1996
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert
- Gewicht: 1260 g
- Seiten: 395
- Format (B x H x T): 155 x 235 x 23 mm
- Ausgabetyp: Kein, Unbekannt