Foundations of Software Technology and Theoretical Computer Science
16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Vijay Chandru
Themen in »Foundations of Software Technology and Theoretical Computer Science«
Algorithmen Algorithmische Geometrie Prozeßalgebren Typentheorie algorithm algorithms complexity complexity theory computational geometry process algebras program semantics semantics type theory algorithm analysis and problem complexity