1 

Gringauze Anna 
1998 
MSc 

The Complexity of Propositional Proofs 
2 

Sheinerman Juliana 
1996 
MSc 

Consequence Relations for Default Reasoning Without the 'and' Rule 
3 

Eiron Nadav 
1996 
MSc 

Variants of Mistake Bound Learning Algorithms 
4 

Dichterman Eli 
1996 
PhD 

Learning with Restricted Focus of Attention 
5 

Frances Mordechai 
1994 
MSc 

Measuers of Complexity of Classes of Sets and Their 
6 

Brezner Oren 
1994 
MSc 

Expectation Semantucs for Modal Logic 
7 

Jacovi Michal 
1994 
MSc 

Learmnning in the Limit and NonUniform 
8 

Fraiman Ronit 
1993 
MSc 

Complexity of Learning by Distances 
9 

Dvir Michal 
1992 
MSc 

Incompleteness and the Theory of Computer Science 
10 

Dichterman Eli 
1991 
MSc 

Derandomizing Online Algorithms 
11 

Yona Gidon 
1990 
MSc 

Verification of Protocols Fur Sharfd Registers Systems by G 
12 

Rafaeli Raz 
1989 
MSc 

Global Time in Distributed Systems 
13 

Gafni Yael 
1989 
MSc 

Semantics for a "Knowing at Most" Operator 