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