Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings /
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.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1996
|
Subjects: | Computer science., Software engineering., Computers., Algorithms., Computer logic., Mathematical logic., Computer graphics., Computer Science., Theory of Computation., Software Engineering/Programming and Operating Systems., Logics and Meanings of Programs., Algorithm Analysis and Problem Complexity., Mathematical Logic and Formal Languages., Computer Graphics., |
Online Access: | http://dx.doi.org/10.1007/3-540-62034-6 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | 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. |
---|