@article{106729, author = {Vladim\'\i r Nov\'ak}, title = {Alternative mathematical model of the natural language semantics using first-order fuzzy logic [Abstract of thesis]}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {030}, year = {1989}, pages = {198-199}, zbl = {0709.03516}, language = {en}, url = {http://dml.mathdoc.fr/item/106729} }
Novák, Vladimír. Alternative mathematical model of the natural language semantics using first-order fuzzy logic [Abstract of thesis]. Commentationes Mathematicae Universitatis Carolinae, Tome 030 (1989) pp. 198-199. http://gdmltest.u-ga.fr/item/106729/
A time-space tradeoff for sorting on non-obliviona machines, Proc. 20th IEEE Symp. on FOCS, San Juan, Puerto Rico (1979), 319-327. (1979)
On reversal-bounded counter machines and on pushdown automata with a bound on the size of the pushdown store, Information and Control 54 (1982), 217-227. (1982) | MR 0719444
Some open problems in the theory of computation as questions about two-way deterministic pushdown automaton languages, Math. Systems Th. 10 (1977), 211-228. (1977) | MR 0438812 | Zbl 0356.68064
Reversal complexity of counter machines, Proc. 13th ACM STOC, Milwauke (1981), 146-157. (1981)
Variations on the technique of Ďurš and Galil, J. Comput. and Syst. Sci. 30 (1985), 77-85. (1985) | MR 0788832
Real-time computations of two-way multihead finite automata, in "L. Budach, Ed.: Fundamentals of computation theory FCT 79", Akademie Verlag, Berlin, 1979, 214-218 (1979) | MR 0563679 | Zbl 0413.68085
$K+1$ heads are better than k, Journal of ACM 25 (1978), 337-340. (1978) | MR 0483728 | Zbl 0372.68017