1995 PHD Theses
PHD-1995-01
Erez Petrank:
Knwoledge Complexity Versus Computational Complexity and the Hardness of Approximations
PHD-1995-02
Orna Kupferman:
Model Checking for Branching-Time Temporal Logics
To the main CS technical reports page