Michal Žemlička

Michal Žemlička, Ph.D. - Charles University, Faculty of Mathematics and Physics

Software

 * KindCons: Kind Constructor
 * KindTran: Kind Transducer

Links

 * http://www.ms.mff.cuni.cz/~zemlicka/