13. FSTTCS 1993: Bombay, India

Invited Talk

Type Theory

Invited Talk

Parallel Algorithms

Term Rewriting

Logic and Constraint Logic Programming

Computational Geometry and Complexity

Invited Talk

Software Technology

Panel

Invited Talk

Concurrency

Distributed Algorithms

Algorithms and Learning Theory