Projects 1996/7

1. Victoria Skoblikov, Maria Zapolotsky
   Fixed point definitions ofa graph problems in P.
   vita@csc, zmaria@csd
   Final version
2. Ran Wolff, Irit Katriel
   Second order definitions of problems in P.
   ikatriel@iil.intel.com
   Final version

   ---

3. Yuval Aharoni Prepare library of examples of games separting properties. (Gaifman paper)