Type | Title | Author | Publisher | Year | ||
---|---|---|---|---|---|---|
Article | 10. Kolloquium uber Rechentechnik und Datenverarbeitung | 1982 | ||||
Article | A Calculus of Circular Proofs and its Categorical Semantics | Santocanale, L. | 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 Contribution to the Top-to-Bottom Recognizer Rehabilitation | Kopriva, J. | 1968 | |||
Article | A Decomposition Theorem for Convexity Spaces | Rawlins, G.J.E., Wood, D. | 1989 | |||
Article | A Direct Proof of the Inherent Ambiguity of a Simple Context-Free Language | Maurer, H.A. | 1969 | |||
Article | A Dynamic Fixed Windowing Problem | Klein, R., Nurmi, O., Ottmann, T., Wood, D. | 1987 | |||
Article | A Factor Theorem for Subsets of a Free Monoid | Wood, D. | 1972 | |||
Article | A Galois Correspondence for Digital Topology | Slapal, J. | 2004 | |||
Article | A Galois correspondence for digital topology | Slapal, J. | ||||
Article | A Kleene-like characterization of languages accepted by systolic tree automata | Fachini, E., Monti, A. | 1994 | |||
Article | A Mathematical Model of Transformational Grammars | Ginsburg, S., Partee, B. | 1969 | |||
Article | A New Form Of Homomorphic Characterization of Context-free Languages | Dömösi, P., Okawa, S. | 2003 | |||
Article | A New Measure of Presortedness | Estival-Castro, V., Wood, D. | 1987 | |||
Article | A New-Old Class of Linguistically Motivated Regulated Grammars | Marcus, S., Martín-Vide, C., Mitrana, V., Paun, Gh. | ||||
Article | A Note on One-Sided Context-Sensitive Grammars | Havel, I. | 1969 | |||
Article | A Remark on Regularity of Parallel Languages | Ruohonen, K. | 1982 | |||
Article | A Study in Parallel Rewriting Systems | Kleijn, H.C., Rozenberg, G. | 1980 | |||
Article | A Supernormal-Form Theorem for Context-Free Grammars | Maurer, H.A., Salomaa, A., Wood, D. | 1983 | |||
Article | A calculus of circular proofs and its categorical semantics | Santocanale, L. | 2001 | |||
Article | A characterization of LL(1) grammars | Johnson, D.B., Sethi, R. | 1976 | |||
Article | A characterization of set representable labeled partial 2-structures through decompositions | Ehrenfeucht, A., Rozenberg, G. | 1990 | |||
Article | A characterization of set representable labeled partial 2-structures through decompositions | Ehrenfeucht, A., Rozenberg, G. | 1990 | |||
Article | A characterization of systolic binary tree automata and applications | Ibarra, O.H., Kim, S.M. | 1984 | |||
Article | A characterization theorem for n-Parallel Right Linear languages | Rosebrugh, R.D., Wood, D. | 1973 | |||
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 |