Karel Culík

According to our database, Karel Culík authored at least 21 papers between 1962 and 1988.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1988

Parallel algorithms and architectures report of a workshop.

Duncan A. Buell, David A. Carlson, Yuan-Chieh Chow, Karel Culík, Narsingh Deo, Raphael A. Finkel, Elias N. Houstis, Elaine M. Jacob Son, Zvi M. Kedem, Janusz S. Kowalik, Philip Kuekes, Joanne L. Martin, George A. Michael, Neil S. Ostlund, Jerry Potter, D. K. Pradhan, Michael J. Quinn, G. W. Stewart, Quentin F. Stout, Layne T. Watson, Jon Webb

J. Supercomput., 1988

1983

On Formal and Informal Proofs for Program Correctness.

Karel Culík

ACM SIGPLAN Notices, 1983

1982

An Advanced Programming Language Definition and Domain Correctness of Programs.

Karel Culík

ACM SIGPLAN Notices, 1982

Theory of computation on abstract/concrete computer automata.

Karel Culík

SIGACT News, 1982

1980

What is a flowchart loop and about structured programming.

Karel Culík

ACM SIGPLAN Notices, 1980

1979

The cyclomatic number and the normal number of programs.

Karel Culík

ACM SIGPLAN Notices, 1979

1978

Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes.

Karel Culík

Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

Synchronized parallel computation and slowdown of translators.

Karel Culík

Proceedings of the Mathematical Studies of Information Processing, 1978

1977

Extensions of rooted trees and their applications.

Karel Culík

Discret. Math., 1977

1976

Mathematical Theory of Serial Computers.

Karel Culík

Proceedings of the Programmiersprachen, 1976

1973

Sequential and Jumping Machines and their Relation to Computers

Karel Culík, Michael A. Arbib

Acta Informatica, 1973

Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams.

Karel Culík

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).

Karel Culík

Proceedings of the Gesellschaft für Informatik e.V., 1973

1970

Asynchroneous automata.

Karel Culík

Computing, 1970

1968

Languages for empirism and theory.

Karel Culík

Kybernetika, 1968

Some theorems on labelled bracketings used in transformational grammars.

Karel Culík

Kybernetika, 1968

1966

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

Karel Culík

Kybernetika, 1966

1965

Axiomatic System for Phrase Structure Grammars. I

Karel Culík

Inf. Control., October, 1965

Semantics and translation of grammars and ALGOL-like languages.

Karel Culík

Kybernetika, 1965

Machine Translation and Connectedness between Phrases.

Karel Culík

Proceedings of the First International Conference on Computational Linguistics, 1965

1962

On Some Axiomatic Systems for Formal Grammars and Languages.

Karel Culík

Proceedings of the Information Processing, Proceedings of the 2nd IFIP Congress 1962, Munich, Germany, August 27, 1962