András Simonyi Editor & Author

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