| Type | Title | Author | Publisher | Year |
| Article | A mode of decomposition of regular languages | Thierrin, G. | | 1975 |
| Article | Context-free and Stationary Languages | Thierrin, G. | | 1979 |
| Article | Proof theory and formal grammars – applications of normalization | Tiede, H.-J. | | 2002 |
| Book | Virtuální laboratoř pro vývoj aplikací s mikroprocesory a FPGA | Tomáš DulíkZbyněk KřivkaJiří KadlecMichal BližňákVěra BudíkováOta JirákNela OlšarováJosef TrbušekZdeněk Vašíček | Akademické nakladatelství CERM | 2011 |
| Article | Langford strings are square-free | Tuza, Zs. | | 1989 |
| Article | Internation journal of computer mathematics vol. 83 no. 1 | Twizell, E.H. | | 2006 |
| Article | Lekcii o vjucislimich funkcijach | Uspenskij, V.A. | | 1960 |
| Article | An approach to a unified theory of grammar and L forms | Vaishnavi, V.K., Wood, D. | | 1978 |
| Article | A note on the succinctness of descriptions of deterministic languages | Valiant, L.G. | | 1976 |
| Article | The residue of vector sets with applications to decidability problems in Petri nets | Valk, R., Jantzen, M. | | 1984 |
| Article | Integration requirements for tool-based generation of information system documentation | Verrijn-Stuart, A.A. | | 1993 |
| Article | The equivalence of four extensions of context-free grammars | Vijay-Shanker, K., Weir, D.J. | | 1992 |
| Article | A syntax directed translation algorithm for ALGOL-like languages | Vinar, J. | | 1966 |
| Article | On scattered context grammars | Virkkunen, V. | | 1973 |
| Article | Basic Tree Transducers | Vogler, H. | | 1986 |
| Article | The OI-Hierarchy Is Closed under Control | Vogler, H. | | 1988 |
| Article | Matematika v alternativnoj teorii mnozectv | Vopenka, P. | | 1983 |
| Article | Depolarizing mathematics and religion | Voss, S. | | |
| Article | Programming languages as mathematical objects | Wagner, E.G., Thetcher, J.W., Wright, J.B. | | 1978 |
| Article | Some fundamentals of order-algebraic semantics | Wagner, E.G., Wright, J.B., Goguen, J.A., Thatcher, J.W. | | 1976 |
| Article | Topologies on formal languages | Walter, H. | | 1975 |
| Article | Thinning context-free languages | Webber, A.B. | | 1992 |
| Article | Universal algebra for computer scientists | Wechler, W. | | 1992 |
| Article | A hierarchy of n-ratianal languages | Wechler, W. | | |
| Article | An acceptor for algebraic power series | Wechler, W. | | 1979 |
| 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 |
