| Type | Title | Author | Publisher | Year |
| Article | Fault-tolerant schemes for some systolic systems | Culik II, K., Yu, S. | | 1987 |
| Article | Finding Rectangle Intersections | Guting, R.H., Wood, D. | | 1983 |
| Article | Finitary and Infinitary Interpretations of Languages | Maurer, H.A., Salomaa, A., Wood, D. | | 1982 |
| Article | Finitary and infinitary interpretations of languages | Maurer, H.A., Salomaa, A., Wood, D. | | 1982 |
| Article | Finite Automata | Ésik, Z., Kuich, W. | | |
| Article | Finite Turns and the Regular Closure of Linear Context-Free Languages | Kutrib, M., Malcher, A. | | 2006 |
| Article | Finite automata, their algebras, and grammars. Towards a theory of formal expressions | Siefkes, D. | | 1988 |
| Article | Finite-State Transducers in Language and Speech Processing | Mohri, M. | | 1997 |
| Article | Finite-Turn Checking Automata | Siromoney, R. | | 1969 |
| Article | Fix-point semantics of synchronized systems and correctness of their basic transformations | Gruska, J., Guessarian, I. | | 1993 |
| Article | Fixed Languages and the Adult Languages of 0L Schemes | Head, T. | | 1981 |
| Article | Fixed Languages and the Adult Languages of 0L Schemes | Head, T. | | 1981 |
| Article | Fixed point languages, equality languages, and representation of recursively enumerable languages | Engelfriet, J., Rozenberg, G. | | 1980 |
| Article | Flowchart machines | Bjorner, D. | | 1970 |
| Article | Folding of the plane and the design of systolic arrays | Choffrut, C., Culik II, K. | | 1983 |
| Article | Forbidding ET0L grammars | Meduna, A., Švec, M. | | 2003 |
| Article | Forbidding ET0L grammars | Meduna, A., Svec, M. | | 2003 |
| Article | Formal Language Characterization of P, NP, and PSPACE | Borchert, B. | | |
| Article | Formal Languages: Origins and Directions | Greibach, S. | | 1981 |
| Article | Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors | Head, T. | | 1987 |
| Article | Formal languages and recursion schemes | Downey, P.J. | | 1974 |
| Article | Formal structure of ALGOL and simplification of its description | Culik, K. | | 1962 |
| Article | Formalni manipulace s omezenymi prostredky | Kopriva, J. | | 1975 |
| Article | Formalni manipulace s vyrazy na pocitaci minsk 22 | Kopriva, J. | | 1973 |
| Article | Formalni pristup k analyze testovatelnosti cislicovych obvodu na urovni RT | Ruzicka, R. | | |
| 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 |
