| Type | Title | Author | Publisher | Year |
| Article | Implementation of Sequential and Parallel Graph Rewriting Systems | Brendel, W., Nagl, M., Weber, D. | | 1978 |
| Article | Completeness of Context-free Grammar Forms | Maurer, H.A., Salomaa, A., Wood, D. | | 1981 |
| Article | LL-regular grammars | Nijholt, A. | | 1980 |
| Article | Context-free grammar forms with strict interpretations | Maurer, H.A., Salomaa, A., Wood, D. | | 1980 |
| Article | The inclusion problem for D0L languages | Ruohonen, K. | | 1979 |
| Article | On gramamr forms with terminal context | Maurer, H.A., Wood, D. | | 1976 |
| Article | Szilard languages of L-systems | Maurer, H.A., Wood, D. | | 1976 |
| Article | A characterization theorem for n-Parallel Right Linear languages | Rosebrugh, R.D., Wood, D. | | 1973 |
| Article | On grammars with restricted use of productions | Salomaa, A. | | 1969 |
| Article | On some families of formal languages obtained by regulated derivations | Salomaa, A. | | 1970 |
| Article | Projections of reachability sets of vector addition systems are semilinear | Bunig, H.K., Lettmann, Th. | | 1984 |
| Article | Copying theorems | Engelfriet, J., Skyum, S. | | 1975 |
| Article | On some operators reducing generalized grammars | Novotny, M. | | 1974 |
| Article | Two-tape pushdown automaton in top-down syntax analysis and algebraic aspect of the process | Kopriva, J. | | 1971 |
| Article | Translational lemmas, polynomial time, and (log n)^j-space | Book, R.V. | | 1976 |
| Article | Practical LL(1)-based parsing of van Wijngaarden Grammars | Fisher, A.J. | | 1985 |
| Article | Properties of finite and pushdown transducers | Choffrut, C., Culik II, K. | | 1983 |
| Article | Simple chain gramamrs and languages | Nijholt, A. | | 1979 |
| Article | The equivalence problem for LL- and LR-regular grammars | Nijholt, A. | | 1982 |
| Article | From Ll-regular to LL(1) grammars: Transformations, covers and parsing | Nijholt, A. | | 1982 |
| Article | Decomposition Translations and Syntax Directed Translation Schemata | Kopriva, J. | | 1970 |
| Article | New techniques for proving the decidability of equivalence problems | Culik II, K. | | 1990 |
| Article | Prispevek ke vztahu Fareyovy rady a Riemannovy domnenky | Kopriva, J. | | 1954 |
| Article | Poznamka k vyznamu Fareyovy rady v theorii cisel | Kopriva, J. | | 1955 |
| Article | O nekolika novych vztazich ekvivalentnich s Riemannovou domnenkou | Kopriva, J. | | 1956 |
| 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 |
