Karel Culík

According to our database1, Karel Culík
  • authored at least 19 papers between 1962 and 1996.
  • has a "Dijkstra number"2 of three.

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


  Loading...