| Type | Title | Author | Publisher | Year |
| Article | Analyza algoritmov a tried algoritmov | Gruska, J. | | |
| Article | Analyza algoritmov a tried algoritmov | Gruska, J. | | |
| Article | Zlozitost, zrozumitelnost a dokazovanie korektnosti programov a algoritmov | Gruska, J. | | |
| Article | O zlozitosti algoritmov II. oprimalne algoritmy | Gruska, J. | | 1974 |
| Article | A logical theory of robot problem solving | Stepankova, O., Havel, I.M. | | 1975 |
| Article | The ultimate equivalence of iterated homomorphisms is recursively unsolvable | Karpinski, M. | | 1980 |
| Article | Overlaps in free partially commutative monoids | Otto, F., Wrathall, C. | | 1991 |
| Article | Outfix and Infix codes and related classes of languages | Ito, M., Jurgensen, H., Shyr, H.J., Thierring, G. | | 1991 |
| Article | Languages-theoretic problems arising from Richelieu cryptosystems | Andrasiu, M., Paun, Gh., Dassow, J., Salomaa, A. | | 1993 |
| Article | Construction of contextual grammars | Novotny, M. | | |
| Article | Formal languages and recursion schemes | Downey, P.J. | | 1974 |
| Article | On sparse oracles separating feasible complexity classes | Hartmanis, J., Hemachandra, L. | | |
| Article | Multistructures determined by differential rings | Chvalina, J., Chvalinova, L. | | 2001 |
| Article | On the splicing operation | Paun, Gh. | | |
| Article | The unique square root condition for quasi-order hypergroups and the corresponding reflector for the category of all order-hypergroups | Hoskova, S., Chvalina, J. | | 2004 |
| Article | Transposition hypergroups formed by transformation operators on rings of defferentiable functions | Chvalina, J., Chvalinova, L. | | 2004 |
| Article | Retracts of algebras | Novotny, M. | | |
| Article | Concerning two-adjacent context-free languages | Dahlhaus, E., Gaifman, H. | | 1985 |
| Article | A Galois correspondence for digital topology | Slapal, J. | | |
| Article | Modelling of join spaces with proximities by first-order linear partial differential operators | Chvalina, J., Hoskova, S. | | |
| Article | Join spaces of linear ordinary differential operators of the second order | Chvalina, J., Chvalinova, L. | | 2002 |
| Article | Deciding multiplicity equivalence for certain context-free languages | Raz, D. | | |
| Article | Remarks on adult languages of propagating systems with restricted parallelism | Fernau, H. | | 1993 |
| Article | On the power of communication structure for distributive generation of languages | Pardubska, D. | | 1993 |
| Article | Graph technology applied to a software project | Nagl, M. | | 1985 |
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 |
