Zsolt Novak Editor

Zsolt Novak, Central European University, Budapest Andras Simonyi, Applied Logic Laboratory, Budapest