| Type | Title | Author | Publisher | Year |
| Article | Uber die sequenzielle berechenbarkeit von rekursiven wortfunktionen durch kellerspeicher | Peter, R. | | 1965 |
| Article | Programming languages as mathematical objects | Wagner, E.G., Thetcher, J.W., Wright, J.B. | | 1978 |
| Article | Slovo a slovesnost | Pala, K., Sedlakova, M. | | 1966 |
| Article | An empirical study of list structure in lisp | Clark, D.W. | | 1977 |
| Article | Sub context-free L forms | Maurer, H.A., Rozenberg, G. | | 1979 |
| Article | Theory of program schemata | Ershov, A.P. | | |
| Article | Weighted finite-state transducers in speech recognition | Mohri, M., Pereira, F., Riley, M. | | |
| Article | Uber einige eigenschaften der zerlugungsubersetzung | Kopriva, J. | | 1976 |
| Article | Alternativni zpusob prekladu, formalni medely a optimalizacni techniky | Lorenc, L. | | 2004 |
| Article | Categorial and non-categorial languages | Friedman, J. | | 1986 |
| Article | Computing and Informatics, Volume 23, Number 2 | | | 2004 |
| Article | Splicing semigroups of dominoes and DNA | Culik II, K., Harju, T. | | |
| Article | Szilard languages of L-systems | Maurer, H.A., Wood, D. | | 1976 |
| Article | Finitary and infinitary interpretations of languages | Maurer, H.A., Salomaa, A., Wood, D. | | 1982 |
| Article | The ultimate equivalence problem for D0L systems | Culik II, K. | | 1978 |
| Article | Efficient algorithms for tree reconstruction | Slough, W., Efe, K. | | |
| Article | Generalised time-delayed 0L languages | Wood, D. | | 1977 |
| Article | A note on exponential density of ET0L languages | Meduna, A. | | 1986 |
| Article | A note on nondeterminism and nontermination | Wechler, W. | | 1985 |
| Article | The string generating power of context-free hypergraph grammars | Engelfriet, J., Heyker, L. | | 1991 |
| Article | Hoare algebras versus dynamic algebras | Wechler, W. | | 1983 |
| Article | On the equivalence and containment problems for unambiguous regular expressinos, regular grammars, and fintite automata | Stearns, R.E., Hunt, H.B. | | 1983 |
| Article | Nektere problemy teorie jazyku | Culik, K. | | |
| Article | Decidability of sequence equivalence for quasi-simple D0L-systems and all systems over two letters | Culik II, K., Fris, I. | | 1976 |
| Article | Pushdown machines for the macro tree transducer | Engelfriet, J., Vogler, H. | | 1986 |
| 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 |
