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/

Citation:
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