Deciding existence of trace codings - Kunc, Michal, 1974- (Dizertace (Ph.D.)–Masarykova Univerzita, Přírodovědecká fakulta, 2003., 2003)
Vedoucí práce: Libor Polák.