Hyperbolická geometrie v díle M. C. Eschera
The Heyting doctrines
Correction of the title of the paper in CMUC 20 (1979), 173-182
Merging of states of Markov chains with infinite probability rates
Local return rates in substitutive subshifts
Equitran: A computer program for analysis of a nondeterministic discrete dynamic system
Representing real numbers in Möbius number systems
O dynamické logice
Environmentally conditioned self-reproduction
Page 1