Type | Title | Author | Publisher | Year | ||
---|---|---|---|---|---|---|
Article | On the power of Las Vegas II: Two-way finite automata | Hromkovic, J., Schnitger, G. | 2000 | |||
Article | A shrinking lemma for random forbidding context languages | Ewert, S., van der Walt, A. | 2000 | |||
Article | Homomorphic characterizations of recursively enumerable languages with very small language classes | Hirose, S., Okawa, S. | 2001 | |||
Article | A Chomsky-Schützenberger-Stanley Type Characterization of the Class of Slender Context-Free Languages | Dömösi, P., Okawa, S. | 2001 | |||
Article | A Calculus of Circular Proofs and its Categorical Semantics | Santocanale, L. | 2001 | |||
Article | The VLDB Journal 10/2--3 | 2001 | ||||
Article | An introduction to formal languages and automata | Linz, P. | 2001 | |||
Article | A calculus of circular proofs and its categorical semantics | Santocanale, L. | 2001 | |||
Article | The Equational theory of fixed points with applications to generalized language theory | Esik, Z. | 2001 | |||
Article | A fully equational proof of Parikh's theorem | Aceto, L., Esik, Z., Ingolfsdottir, A. | 2001 | |||
Article | Multistructures determined by differential rings | Chvalina, J., Chvalinova, L. | 2001 | |||
Article | A surprising undecidability result: the equivalence problem for finite substitutions on ab^*c | Karhumaki, J., Lisovik, L. | 2002 | |||
Article | Phrase structure composition and syntactic dependencies | Frank, R. | 2002 | |||
Article | Join spaces of linear ordinary differential operators of the second order | Chvalina, J., Chvalinova, L. | 2002 | |||
Article | Homomorphic characterizations of poly-slender context-free languages | Dömösi, P., Hirose, S., Okawa, S. | 2002 | |||
Article | Proof theory and formal grammars – applications of normalization | Tiede, H.-J. | 2002 | |||
Article | Descriptional Complexity of Machines with Limited Resources | Goldstine, J., Kappes, M., Kintala C.M.R, Leung, H., Malcher, A., Wotschke, D. | 2002 | |||
Article | A pumping lemma for random permitting context languages | Ewert, S., van der Walt, A. | 2002 | |||
Article | Forbidding ET0L grammars | Meduna, A., Svec, M. | 2003 | |||
Article | Closure operations for digital topology | Slapal, J. | 2003 | |||
Article | A New Form Of Homomorphic Characterization of Context-free Languages | Dömösi, P., Okawa, S. | 2003 | |||
Article | Forbidding ET0L grammars | Meduna, A., Švec, M. | 2003 | |||
Article | A simultaneous reduction of several measures of descriptional complexity in scattered context grammars | Fernau, H., Meduna, A. | 2003 | |||
Article | Jazyky a prekladace | Melichar, B. | 2003 | |||
Article | Bloky kojugace jistych dvouparametrickych systemu kvadratickych modelu | Chvalina, J. | 2003 | |||
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 |