Karel Culík

Publication Activity (10 Years)

Years Active: 1962-1988
Publications (10 Years): 0

Publications

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
Parallel algorithms and architectures report of a workshop. J. Supercomput. 1 (3) (1988)
Karel Culík
On Formal and Informal Proofs for Program Correctness. ACM SIGPLAN Notices 18 (1) (1983)
Karel Culík
An Advanced Programming Language Definition and Domain Correctness of Programs. ACM SIGPLAN Notices 17 (8) (1982)
Karel Culík
Theory of computation on abstract/concrete computer automata. SIGACT News 14 (1) (1982)
Karel Culík
What is a flowchart loop and about structured programming. ACM SIGPLAN Notices 15 (1) (1980)
Karel Culík
The cyclomatic number and the normal number of programs. ACM SIGPLAN Notices 14 (4) (1979)
Karel Culík
Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes. POPL (1978)
Karel Culík
Synchronized parallel computation and slowdown of translators. Mathematical Studies of Information Processing (1978)
Karel Culík
Extensions of rooted trees and their applications. Discret. Math. 18 (2) (1977)
Karel Culík
Mathematical Theory of Serial Computers. Fachtagung über Programmiersprachen (1976)
Karel Culík, Michael A. Arbib
Sequential and Jumping Machines and their Relation to Computers Acta Informatica 2 (1973)
Karel Culík
Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams. MFCS (1973)
Karel Culík
Main Degrees of Complexity of Computer Programs and Computable Functions (Abstract). GI Jahrestagung (1973)
Karel Culík
Asynchroneous automata. Computing 6 (1-2) (1970)
Karel Culík
Languages for empirism and theory. Kybernetika 4 (6) (1968)
Karel Culík
Some theorems on labelled bracketings used in transformational grammars. Kybernetika 4 (2) (1968)
Karel Culík
On mathematical models and the role of the mathematics in knowledge of reality. Kybernetika 2 (1) (1966)
Karel Culík
Axiomatic System for Phrase Structure Grammars. I Inf. Control. 8 (5) (1965)
Karel Culík
Semantics and translation of grammars and ALGOL-like languages. Kybernetika 1 (1) (1965)
Karel Culík
Machine Translation and Connectedness between Phrases. COLING (1965)
Karel Culík
On Some Axiomatic Systems for Formal Grammars and Languages. IFIP Congress (1962)