The Normal Translation Algorithm in Transparent Intensional
Logic for Czech
Aleš Horák
Faculty of Informatics, Masaryk University
Botanická 68a, CZ-60200 Brno, Czech Republic
E-mail: hales@fi.muni.cz
http://www.fi.muni.cz/~hales/disert/
Horák, Aleš: The Normal Translation Algorithm in Transparent Intensional Logic for Czech, PhD Thesis, Faculty of Informatics, Masaryk University, Brno, Czech Republic, 2002.BibTeX
Download:
Presentation Slides (PDF) - Outline
Presentation Slides (the Logical Analysis in detail) (PDF) - Outline