According to our database1, Karel Culík authored at least 19 papers between 1962 and 1996.
Legend:Book In proceedings Article PhD thesis Other
An aperiodic set of 13 Wang tiles.
Discrete Mathematics, 1996
Parallel algorithms and architectures report of a workshop.
The Journal of Supercomputing, 1988
On Formal and Informal Proofs for Program Correctness.
SIGPLAN Notices, 1983
An Advanced Programming Language Definition and Domain Correctness of Programs.
SIGPLAN Notices, 1982
Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes.
Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978
Synchronized parallel computation and slowdown of translators.
Proceedings of the Mathematical Studies of Information Processing, 1978
Extensions of rooted trees and their applications.
Discrete Mathematics, 1977
Mathematical Theory of Serial Computers.
Proceedings of the Programmiersprachen, 1976
Sequential and Jumping Machines and their Relation to Computers
Acta Inf., 1973
Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams.
Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973
Main Degrees of Complexity of Computer Programs and Computable Functions (Abstract).
Proceedings of the Gesellschaft für Informatik e.V., 1973
Languages for empirism and theory.
Some theorems on labelled bracketings used in transformational grammars.
On mathematical models and the role of the mathematics in knowledge of reality.
Axiomatic System for Phrase Structure Grammars. I
Information and Control, October, 1965
Semantics and translation of grammars and ALGOL-like languages.
Machine Translation and Connectedness between Phrases.
Proceedings of the First International Conference on Computational Linguistics, 1965
On Some Axiomatic Systems for Formal Grammars and Languages.
IFIP Congress, 1962