68S05
- : Formal translation directed by $LR$ parsing. (English). Kybernetika, vol. 28 (1992), issue 1, pp. 50-61
- : On a logical formalization of natural language. (English). Kybernetika, vol. 26 (1990), issue 4, pp. 327-341
- : Homomorphic correspondences of relational systems. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 22 (1983), issue 1, pp. 37-46
- : Some remarks on the stability problem for linear space automata and semicontinuity of cut point languages. (English). Kybernetika, vol. 18 (1982), issue 2, pp. 89-105
Search
Partner of
