K šedesátinám profesora Karla Koutského
Modely skutečnosti a modely teorií
Über die Homomorphismen der teilweise geordneten Mengen und Verbände
Сообщения. Жизнь и творчество Ладислава Ригера
On some transformations in context-free grammars and languages
Algorithmic algebras of computers
Algorithmization of algebras and relational structures
On equivalent and similar grammars of Algol-like languages (Preliminary communication)
On mathematical models and the role of the mathematics in knowledge of reality
Jazyky pro empirii a teorii
Some theorems on labelled bracketings used in transformational grammars
Semantics and translation of grammars and ALGOL-like languages
Конструкция автоматного отображения
Různé. O postavení matematiky. O aplikované matematice
A note on complexity of algorithmic nets without cycles
Rozklad konečného automatu a poznámka k jeho analýse
Combinatorial problems in the theory of complexity of algorithmic nets without cycles for simple computers
Syntactical definitions of program and flow diagram
Poznámky k teorii operací
A note on comparison of Turing machines with computers
Page 1 Next