Jan Hubicka

http://www.ucw.cz/~hubicka
Department of Applied Mathematics, Charles University
CZECH REPUBLIC

Ramsey theorem for trees with sucessor operation
slides