| Type | Title | Author | Publisher | Year |
| Article | Metodika programovani a efektivnost vypoctu | Kopriva, J. | | 1990 |
| Article | Metodika programovani a efektivnost vypoctu 1. cast | Kopriva, J. | | 1984 |
| Article | Metodika programovani a efektivnost vypoctu 2. cast | Kopriva, J. | | 1984 |
| Article | Minimal Union-Free Decompositions of Regular Languages | Afonin, S., Golomazov, D. | | |
| Article | Minimal position restricted grammars/relations between complexity measures | Kelemenova, A. | | |
| Article | Minimal-cost brother trees | Ottmann, Th., Parker, D.S., Rosenberg, A.L., Six, H.W., Wood, D. | | 1982 |
| Article | Minimizing finite state machines | Ashdown, I. | | 1988 |
| Article | Modelling Kohonen networks by attributed parallel array systems | Freund, R., Tafill, F. | | |
| Article | Modelling of join spaces with proximities by first-order linear partial differential operators | Chvalina, J., Hoskova, S. | | |
| Article | Models of a K-rational identities system | Krob, D. | | 1989 |
| Article | Moderni programovani, dil 3, Syntakticka analyza a syntaxi rizeny preklad | Kral, J. | | 1986 |
| Article | Monadic second order definable text languages | Hoogeboom, H.J., ten Pas, P. | | 1994 |
| Article | Morphic images of Gauss codes | Kari, J., Niemi, V. | | |
| Article | Multi-head sequential transducers | Paun, Gh. | | 1981 |
| Article | Multidimensional trees | Baldwin, W.A., Strawn, G.O. | | 1991 |
| Article | Multistructures determined by differential rings | Chvalina, J., Chvalinova, L. | | 2001 |
| Article | N-fold Fuzzy Grammars | Mizumoto, M., Toyoda, J., Tanaka, K. | | 1973 |
| Article | Neklasicke logiky | Mleziva, M. | | 1970 |
| Article | Nekotorie Voprosy teorii jazykov | Redko, V.N. | | 1965 |
| Article | Nektere problemy teorie jazyku | Culik, K. | | |
| Article | Nested Stack Automata | Aho, A.H. | | 1969 |
| Article | Net Processes Correspond to Derivation Process in Graph Grammars | Kreowski, H.-J., Wilharm, A. | | 1986 |
| Article | New techniques for proving the decidability of equivalence problems | Culik II, K. | | 1990 |
| Article | Node-label controlled graph grammars with context conditions | von Solms, S.H. | | 1984 |
| Article | Non-repetitive words relative to a rewriting systém | Carpi, A., De luca, A. | | 1990 |
| 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 |
