| Type | Title | Author | Publisher | Year |
| Article | O jednom vztahu Fareyovy rady k Riemannove domnence o nulovych bodech funkce „ksi“ | Kopriva, J. | | 1952 |
| Article | Technicka geometrie v lekarstvi a strojni prothetice | Kaderavek, F., Havlicek, K. | | 1952 |
| Article | Prispevek ke vztahu Fareyovy rady a Riemannovy domnenky | Kopriva, J. | | 1954 |
| Article | Uvod do dejin rysovani a zobrazovacich nauk | Kaderavek, F. | | 1954 |
| Article | Poznamka k vyznamu Fareyovy rady v theorii cisel | Kopriva, J. | | 1955 |
| Article | O nekolika novych vztazich ekvivalentnich s Riemannovou domnenkou | Kopriva, J. | | 1956 |
| Article | O jistem systemu topologii v danem prostoru | Kopriva, J. | | 1957 |
| Article | K problemu iteraci v topologii | Kopriva, J. | | 1957 |
| Article | Prispevek k Riemannove domnence | Kopriva, J. | | 1958 |
| Article | Lekcii o vjucislimich funkcijach | Uspenskij, V.A. | | 1960 |
| Article | Matematiceskij analiz | Milov, G.E. | | 1960 |
| Article | Zarys logiki formalnej | Wiegner, A. | | 1960 |
| Article | Primitiv-rekursive wortbeziehungen in der programmie-rungssprache „ALGOL 60“ | Peter, R. | | 1961 |
| Article | Some notes on finite state languages and events represented by finite automata using labelled graphs | Culik, K. | | 1961 |
| Article | Formal structure of ALGOL and simplification of its description | Culik, K. | | 1962 |
| Article | Uber die Rekursivitat einiger ubersetzungs-transformationen | Peter, R. | | 1962 |
| Article | Uber die rekursivitat einiger ubersetzungs-transformationen II. Mitteilung: verwendung einer linearisierungsweise des kantorowitschschen ausdrucks-graphen | Peter, R. | | 1962 |
| Article | Two families of languages related to ALGOL | Ginsburg, S., Rice, H.G. | | 1962 |
| Article | Uber die „kurzeste“ form von booleschen funktionen | Peter, R. | | 1962 |
| Article | The solvability of machine mappings of regular sets to regular sets | Ginsburg, S., Hibbard, T.N. | | 1962 |
| Article | Towards more versatile mechanical translators | Irons, E.T. | | 1963 |
| Article | Iterace mnozinovych zobrazeni | Kopriva, J. | | 1963 |
| Article | Operations which preserve definability in languages | Ginsburg, S., Rose, G.F. | | 1963 |
| Article | Some Recursively Unsolvable Problems in ALGOL-Like Languages | Ginsburg, S., Rose, G.F. | | 1963 |
| Article | Quotients of Context-Free Languages | Ginsburg, S., Spanier, E.H. | | 1963 |
| 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 |
