| Type | Title | Author | Publisher | Year |
| Article | On the possibility of mathematical revolutions | Kenney, E. | | |
| Article | Extending Formal Languages Hierarchies to Higher Dimensions | Giammarresi, D., Restivo, A. | | 1999 |
| Article | An incremental mechanical development of systolic solutions to the algebraic path problem | Huang, C.-H., Lengauer, C. | | 1989 |
| Article | Context-sensitive String Languages and Recognizable Picture Languages | Latteux, M., Simplot, D. | | 1997 |
| Article | The algebra of derivations and a semithue parser | Benson, D.B. | | 1969 |
| Article | Conditional grammars: Motivations, definition and some properties | Kelemen, J. | | |
| Article | A variant of random context grammars: semi-conditional grammars | Paun, Gh. | | 1985 |
| Article | Twenty-six moves suffice for Rubik's cube | Kunkle, D., Cooperman, G. | | 2007 |
| Article | Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors | Head, T. | | 1987 |
| Article | Formal Language Characterization of P, NP, and PSPACE | Borchert, B. | | |
| Article | Primitiv-rekursive funktionen auf termmengen | Mahn, F.-K. | | 1967 |
| Article | Proof theory and formal grammars – applications of normalization | Tiede, H.-J. | | 2002 |
| Article | Fast approximation algorithms for Steiner's problem in graphs | Widmayer, P. | | 1987 |
| Article | Automaticity and rationality | Shallit, J. | | 2000 |
| Article | Systolic trellis automata | Culik II, K., Gruska, J., Salomaa, A. | | 1984 |
| Article | Grammars with regular rewriting | Dassow, J. | | |
| Article | Contextual grammars: parallelism and blocking of derivation | Paun, Gh., Rozenberg, G., Salomaa, A. | | 1993 |
| Article | A fully equational proof of Parikh's theorem | Aceto, L., Esik, Z., Ingolfsdottir, A. | | 2001 |
| Article | Evaluated grammars | Meduna, A. | | 1987 |
| Article | The Equational theory of fixed points with applications to generalized language theory | Esik, Z. | | 2001 |
| Article | On isomorphisms and density of NP and other complete sets | Hartmanis, J.,Berman, L. | | 1975 |
| Article | A calculus of circular proofs and its categorical semantics | Santocanale, L. | | 2001 |
| Article | On the sequence equivalence problem for 0L systems with controlled derivations | Dassow, J. | | 1988 |
| Article | Image Theorems for Simple Matrix Languages and n-Parallel Languages | Rosebrugh, R.D., Wood, D. | | 1974 |
| Article | Global context conditional grammars | Meduna, A. | | 1991 |
| 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 |
