| Type | Title | Author | Publisher | Year |
| Article | O zlozitosti algoritmov II. oprimalne algoritmy | Gruska, J. | | 1974 |
| Article | Zlozitost, zrozumitelnost a dokazovanie korektnosti programov a algoritmov | Gruska, J. | | |
| Article | Analyza algoritmov a tried algoritmov | Gruska, J. | | |
| Article | Analyza algoritmov a tried algoritmov | Gruska, J. | | |
| Article | Efektivnost algoritmov softwarovych systemov I. | Bousa, J. et al. | | 1976 |
| Article | Beziehungen zwischen Zeitkomplexitatsklassen und Kellerautomaten mit Zahlern | Monien, B. | | 1971 |
| Article | Uber die Effizienz von Tabulator-Turingmaschinen mit beschrankter Markenzahl im Vergleich zu anderen Maschinenmodellen | Weicker, R., Monien, B. | | 1970 |
| Article | Testing for grammatical coverings | Rozenkrantz, D.J., Hunt, H.B. | | 1983 |
| Article | Metodika programovani a efektivnost vypoctu | Kopriva, J. | | 1990 |
| Article | Rekurzivni funkce a rekurzivni programy | Kopriva, J. | | 1974 |
| Article | Decidability and density in two-symbol grammar forms | Maurer, H.A., Salomaa, A., Wood, D. | | 1979 |
| Article | Operating System Concepts | Silberschatz, A., Peterson, J., Galvin, P. | | 1991 |
| Article | Depolarizing mathematics and religion | Voss, S. | | |
| Article | On the possibility of mathematical revolutions | Kenney, E. | | |
| Article | Heterogeneous Data Translations Based on Environment Grammars | Ruschitzka, M., Clevenger, J.L. | | 1989 |
| Article | On multiple context-free grammars | Seki, H., Matsumura, T., Fujii, M., Kasami, T. | | 1991 |
| Article | On some families of languages related to developmental systems | Culik Ii, K. | | 1973 |
| Article | On generators and generative capacity of E0L forms | Maurer, H.A., Salomaa, A., Wood, D. | | 1978 |
| Article | Markov deterministic tabled 0L systems | Jurgensen, H., Matthews, D., Wood, D. | | 1979 |
| Article | Synchronized E0L forms under uniform interpretation | Maurer, H.A., Salomaa, A., Wood, D. | | 1978 |
| Article | Uber erkennbare und rationale mengen in freien partiell kommutativen monoiden | Fischer, W. | | 1986 |
| Article | Complete systems of B-rational identities in TCS volume 89, no. 2 | Krob, D. | | 1991 |
| Article | On kleene algebras and closed semirings | Kozen, D. | | 1990 |
| Article | Analytico-referentiality and legitimation in modern mathematics | Roussopoulos, G. | | |
| Article | Intuitionism as generalization | Richman, F. | | |
| 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 |
