Type | Title | Author | Publisher | Year | ||
---|---|---|---|---|---|---|
Misc | sasdf | |||||
Article | Iterated a-NGSM Maps and Gamma Systems | Wood, D. | 1976 | |||
Article | Deciding emptiness for stack automata on infinite trees | Harel, D., Raz, D. | 1991 | |||
Article | A communication hierarchy of parallel computations | Geffert, V. | 1998 | |||
Article | The control of discrete event systems | Ramadge, P.J.G., Wonham, W.M. | 1989 | |||
Article | On the power of Las Vegas II: Two-way finite automata | Hromkovic, J., Schnitger, G. | 2000 | |||
Article | On communication-bounded synchronized alternating finite automata | Ibarra, O.H., Nicholas, Q.T. | 1993 | |||
Article | Context-limited grammars | Hibbard, T.N. | 1974 | |||
Article | A note on asymmetry in phrase structure grammars | Matthews, G.H. | 1964 | |||
Article | Mappings which preserve context sensitive languages | Ginsburg, S., Greibach, S.A. | 1966 | |||
Article | Two-way languages | Matthews, G.H. | 1967 | |||
Article | Recognizable picture languages and domino tiling | Latteux, M., Simplot, D. | 1997 | |||
Article | ET0L-grammars and N-grammars | Penttonen, M. | 1975 | |||
Article | Extending Formal Languages Hierarchies to Higher Dimensions | Giammarresi, D., Restivo, A. | 1999 | |||
Article | Context-sensitive String Languages and Recognizable Picture Languages | Latteux, M., Simplot, D. | 1997 | |||
Article | Conditional grammars: Motivations, definition and some properties | Kelemen, J. | ||||
Article | Twenty-six moves suffice for Rubik's cube | Kunkle, D., Cooperman, G. | 2007 | |||
Article | Formal Language Characterization of P, NP, and PSPACE | Borchert, B. | ||||
Article | Proof theory and formal grammars – applications of normalization | Tiede, H.-J. | 2002 | |||
Article | Automaticity and rationality | Shallit, J. | 2000 | |||
Article | Grammars with regular rewriting | Dassow, J. | ||||
Article | A fully equational proof of Parikh's theorem | Aceto, L., Esik, Z., Ingolfsdottir, A. | 2001 | |||
Article | The Equational theory of fixed points with applications to generalized language theory | Esik, Z. | 2001 | |||
Article | A calculus of circular proofs and its categorical semantics | Santocanale, L. | 2001 | |||
Article | Image Theorems for Simple Matrix Languages and n-Parallel Languages | Rosebrugh, R.D., Wood, D. | 1974 | |||
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 |