| 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 |
