8. FSTTCS 1988: Pune, India

Invited Talk

Algorithms

Algorithms

Algorithms

Complexity

Invited Talk

Semantics

Invited Talk

Logic Programming and Theorem Proving

Databases and Knowledgebases