Karel Culík

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