| Type | Title | Author | Publisher | Year |
| Article | Problems concerning solution of steady and unsteady groundwater flow by statistical methods | Halek, V., Novak, M. | | |
| Article | Problems concerning solution of steady and unsteady groundwater flow by statistical methods | Halek, V., Novak, M. | | |
| Article | Problemy zlozitosti generativnych systemov | Geffert, V. | | 1987 |
| Article | Proceedings of the 7th international colloquium on graph theory | | | 2005 |
| Article | Programmable Finite Automata for VLSI | Culik II, K., Jurgensen, H. | | 1983 |
| Article | Programmable Finite Automata for VLSI | Culik II, K., Jurgensen, H. | | 1983 |
| Article | Programmable Finite Automata for VLSI | Culik II, K., Jurgensen, H. | | 1983 |
| Article | Programming Language Concept for Structuring Control Software in Correspondence to the Technical Process | Schneider, H.J. | | 1985 |
| Article | Programming languages as mathematical objects | Wagner, E.G., Thetcher, J.W., Wright, J.B. | | 1978 |
| Article | Programmirovanie na jazyke paskal | Grogono, P. | | 1982 |
| Article | Projections of reachability sets of vector addition systems are semilinear | Bunig, H.K., Lettmann, Th. | | 1984 |
| Article | Proof theory and formal grammars – applications of normalization | Tiede, H.-J. | | 2002 |
| Article | Propagating Chain-Free Normal Forms for E0L Systems | Culik II, K., Maurer, H.A. | | 1978 |
| Article | Properties of Syntax Directed Translations | Aho, A.H., Ullman, J.D. | | 1969 |
| Article | Properties of finite and pushdown transducers | Choffrut, C., Culik II, K. | | 1983 |
| Article | Properties of n-Parallel Finite State Languages | Wood, D. | | 1973 |
| Article | Prostredky pro zvyseni generativni sily bezkontextovych gramatik | Meduna, A. | | 1987 |
| Article | Protection graph rewriting grammars and the take/grant security model | von Solms, S.H., de Villiers, D.P. | | 1988 |
| Article | Pure Grammars with Regulated Rewriting | Dassow, J. | | 1986 |
| Article | Pure grammars | Maurer, H.A., Salomaa, A., Wood, D. | | 1980 |
| Article | Pure grammars | Maurer, H.A., Salomaa, A., Wood, D. | | 1979 |
| Article | Pure grammars and pure langauges | Gabrielian, A. | | 1981 |
| Article | Pure languages of regulated rewriting and their codings | Dassow, J. | | 1988 |
| Article | Pushdown Acceptor Forms | Ginsburg, S., Spanier, E.H. | | 1977 |
| Article | Pushdown Automata with Counters | Kameda, T. | | 1972 |
| 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 |
