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 |