Some theorems on labelled bracketings used in transformational grammars Karel Čulík — 1968 Kybernetika
On mathematical models and the role of the mathematics in knowledge of reality Karel Čulík — 1966 Kybernetika
Combinatorial problems in the theory of complexity of algorithmic nets without cycles for simple computers Karel Čulík — 1971 Aplikace matematiky
Algorithmization of algebras and relational structures Karel Čulík — 1972 Commentationes Mathematicae Universitatis Carolinae
On equivalent and similar grammars of Algol-like languages (Preliminary communication) Karel Čulík — 1964 Commentationes Mathematicae Universitatis Carolinae
Über die Homomorphismen der teilweise geordneten Mengen und Verbände Karel Čulík — 1959 Czechoslovak Mathematical Journal
On some transformations in context-free grammars and languages Karel Čulík — 1967 Czechoslovak Mathematical Journal
O existenci rovinných mnohoúhelníků s předepsanými úhly Karel Čulík — 1955 Časopis pro pěstování matematiky
Charakterisace Brandtových grupoidů pomocí přímých součinů Karel Čulík — 1959 Časopis pro pěstování matematiky