Karel Culík Main Degrees of Complexity of Computer Programs and Computable Functions (Abstract). [Citation Graph (0, 0)][DBLP] GI Jahrestagung, 1973, pp:151-153 [Conf]

Karel Culík On Some Axiomatic Systems for Formal Grammars and Languages. [Citation Graph (0, 0)][DBLP] IFIP Congress, 1962, pp:313-317 [Conf]

Karel Culík Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams. [Citation Graph (0, 0)][DBLP] MFCS, 1973, pp:27-38 [Conf]

Karel Culík Synchronized parallel computation and slowdown of translators. [Citation Graph (0, 0)][DBLP] Mathematical Studies of Information Processing, 1978, pp:67-105 [Conf]

Karel Culík Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes. [Citation Graph (0, 0)][DBLP] POPL, 1978, pp:176-184 [Conf]

Karel Culík Mathematical Theory of Serial Computers. [Citation Graph (0, 0)][DBLP] Fachtagung über Programmiersprachen, 1976, pp:203-234 [Conf]

Karel Culík Axiomatic System for Phrase Structure Grammars. I [Citation Graph (0, 0)][DBLP] Information and Control, 1965, v:8, n:5, pp:493-502 [Journal]

Karel Culík An Advanced Programming Language Definition and Domain Correctness of Programs. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1982, v:17, n:8, pp:57-66 [Journal]

Karel Culík On Formal and Informal Proofs for Program Correctness. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1983, v:18, n:1, pp:23-28 [Journal]