16. FSTTCS 1996: Hyderabad, India

Invited Papers

Computational Geometry I

Process Algebra

Computational Geometry II

Semantics

Algorithms

Rewriting/Equational-Temporal Logics

Complexity Theory

Type Theory