Type | Title | Author | Publisher | Year | ||
---|---|---|---|---|---|---|
Article | Decomposition translations and pushdown assembler | Kopriva, J. | 1971 | |||
Article | On the succinctness of different representations of languages | Hartmanis, J. | 1978 | |||
Article | The solvability of machine mappings of regular sets to regular sets | Ginsburg, S., Hibbard, T.N. | 1962 | |||
Article | L-Fuzzy Grammars | Kim, H.H., Mizumoto, M., Toyoda, J. | 1975 | |||
Article | The theory of left factored languages: Part 1 | Wood, D. | 1969 | |||
Article | The theory of left factored languages: Part 2 | Wood, D. | 1970 | |||
Article | Context-free text grammars | Ehrenfeucht, A., ten Pas, P., Rozenberg, G. | 1994 | |||
Article | Rekurse | Kopriva, J., Racansky, V. | 1981 | |||
Article | Vyuziti LISPu k prekladani formalnich jazyku na pocitaci | Kopriva, J. | ||||
Article | Compilation der ausdrucke im formelverarbeitungssystem TELISYM | Kopriva, J. | 1978 | |||
Article | Poznamka k uprave symolickych vyrazu na pocitacich | Kopriva, J. | 1978 | |||
Article | Towards verifying distributed systems using object-oriented petri nets | Ceska, M., Janousek, V., Vojnar, T. | ||||
Article | The control of discrete event systems | Ramadge, P.J.G., Wonham, W.M. | 1989 | |||
Article | On morhpically generated formal power series | Honkala, J. | ||||
Article | Repetitions in Kolakoski sequence | Lepisto, A. | ||||
Article | On the power of periodic iteration of morhpisms | Lepisto, A. | ||||
Article | Morphic images of Gauss codes | Kari, J., Niemi, V. | ||||
Article | Adult languages of propagating systems with restricted parallelism | Fernau, H. | 1993 | |||
Article | Languages-theoretic problems arising from Richelieu cryptosystems | Andrasiu, M., Paun, Gh., Dassow, J., Salomaa, A. | 1993 | |||
Article | On the power of communication structure for distributive generation of languages | Pardubska, D. | 1993 | |||
Article | Remarks on adult languages of propagating systems with restricted parallelism | Fernau, H. | 1993 | |||
Article | Deciding multiplicity equivalence for certain context-free languages | Raz, D. | ||||
Article | Join spaces of linear ordinary differential operators of the second order | Chvalina, J., Chvalinova, L. | 2002 | |||
Article | Modelling of join spaces with proximities by first-order linear partial differential operators | Chvalina, J., Hoskova, S. | ||||
Article | A Galois correspondence for digital topology | Slapal, J. | ||||
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 |