 | 1996 |
|---|
| 11 |       | Karel Culík:
An aperiodic set of 13 Wang tiles.
Discrete Mathematics 160(1-3): 245-251 (1996) |
| 1983 |
|---|
| 10 |  | Karel Culík:
On Formal and Informal Proofs for Program Correctness.
SIGPLAN Notices 18(1): 23-28 (1983) |
| 1982 |
|---|
| 9 | | Karel Culík:
An Advanced Programming Language Definition and Domain Correctness of Programs.
SIGPLAN Notices 17(8): 57-66 (1982) |
| 1978 |
|---|
| 8 | | Karel Culík:
Synchronized parallel computation and slowdown of translators.
Mathematical Studies of Information Processing 1978: 67-105 |
| 7 | | Karel Culík:
Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes.
POPL 1978: 176-184 |
| 1976 |
|---|
| 6 | | Karel Culík:
Mathematical Theory of Serial Computers.
Fachtagung über Programmiersprachen 1976: 203-234 |
| 1973 |
|---|
| 5 | | Karel Culík:
Main Degrees of Complexity of Computer Programs and Computable Functions (Abstract).
GI Jahrestagung 1973: 151-153 |
| 4 | | Karel Culík:
Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams.
MFCS 1973: 27-38 |
| 3 | | Karel Culík,
Michael A. Arbib:
Sequential and Jumping Machines and their Relation to Computers
Acta Inf. 2: 162-171 (1973) |
| 1965 |
|---|
| 2 | | Karel Culík:
Axiomatic System for Phrase Structure Grammars. I
Information and Control 8(5): 493-502 (1965) |
| 1962 |
|---|
| 1 | | Karel Culík:
On Some Axiomatic Systems for Formal Grammars and Languages.
IFIP Congress 1962: 313-317 |
