# Karel Culík

According to our database

^{1}, Karel Culík## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1996

An aperiodic set of 13 Wang tiles.

Discrete Mathematics, 1996

1988

Parallel algorithms and architectures report of a workshop.

The Journal of Supercomputing, 1988

1983

On Formal and Informal Proofs for Program Correctness.

SIGPLAN Notices, 1983

1982

An Advanced Programming Language Definition and Domain Correctness of Programs.

SIGPLAN Notices, 1982

1978

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

1977

Extensions of rooted trees and their applications.

Discrete Mathematics, 1977

1976

Mathematical Theory of Serial Computers.

Proceedings of the Programmiersprachen, 1976

1973

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

1970

Asynchroneous automata.

Computing, 1970

1968

Languages for empirism and theory.

Kybernetika, 1968

Some theorems on labelled bracketings used in transformational grammars.

Kybernetika, 1968

1966

On mathematical models and the role of the mathematics in knowledge of reality.

Kybernetika, 1966

1965

Axiomatic System for Phrase Structure Grammars. I

Information and Control, October, 1965

Semantics and translation of grammars and ALGOL-like languages.

Kybernetika, 1965

Machine Translation and Connectedness between Phrases.

Proceedings of the First International Conference on Computational Linguistics, 1965

1962

On Some Axiomatic Systems for Formal Grammars and Languages.

IFIP Congress, 1962