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 |