| Type | Title | Author | Publisher | Year |
| Article | Reversibility of 2D cellular automata is undecidable | Kari, J. | | 1990 |
| Article | Inverse Morphic Equivalence on Languages | Karhumaki, J., Wood, D. | | 1984 |
| Article | A surprising undecidability result: the equivalence problem for finite substitutions on ab^*c | Karhumaki, J., Lisovik, L. | | 2002 |
| Article | On the regularity of wquality languages | Karhumaki, J. | | 1984 |
| Article | On length sets of informationless L systems | Karhumaki, J. | | 1976 |
| Article | On a Modification of Axioms of General Relations | Karasek, J. | | 1999 |
| Article | On ground-confluences of term rewriting systems | Kapur, D., Narendran, P., Otto, F. | | 1990 |
| Article | The Equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars | Kandulski, M. | | 1988 |
| Article | Pushdown Automata with Counters | Kameda, T. | | 1972 |
| Article | Technicka geometrie v lekarstvi a strojni prothetice | Kaderavek, F., Havlicek, K. | | 1952 |
| Article | Uvod do dejin rysovani a zobrazovacich nauk | Kaderavek, F. | | 1954 |
| Article | Indexgrammatiken mit eingeschrankter regelanwendung | Jurs, J. | | 1976 |
| Article | Markov deterministic tabled 0L systems | Jurgensen, H., Matthews, D., Wood, D. | | 1979 |
| Article | A characterization of LL(1) grammars | Johnson, D.B., Sethi, R. | | 1976 |
| Article | Extending regular expressinos with iterated shuffle | Jantzen, M. | | 1984 |
| Article | Zaklady logiky | Janak, V. | | 1972 |
| Article | Low-level tradeoffs between reversals and alternations | Iwama, K. | | |
| Article | ASPACE(o(log log n))) is regular | Iwama, K. | | 1993 |
| Article | Insertion and deletion closure of languages | Ito, M., Kari, L., Thierrin, G. | | |
| Article | Outfix and Infix codes and related classes of languages | Ito, M., Jurgensen, H., Shyr, H.J., Thierring, G. | | 1991 |
| Article | Outfix and Infix codes and related classes of languages | Ito, M., Jurgensen, H., Shyr, H.J., Thierring, G. | | 1991 |
| Article | Languages whose n-element subsets are codes | Ito, M., Jurgensen, H., Shyr, H.J., Thierrin, G. | | 1992 |
| Article | Towards more versatile mechanical translators | Irons, E.T. | | 1963 |
| Article | On Some Special Classes of Regular Languages | Imreh, B., Ito, M. | | |
| Article | Roughly Sorting: A Generalization of Sorting | Igarashi, Y., Wood, D. | | 1987 |
| 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 |
