( en | de | ru )

 

Disambiguation of "Culík, Karel"

Author of the publication

copydeleteadd this publication to your clipboard
Parallel algorithms and architectures report of a workshop.

, , , , , , , , , , , , , , , , , , , , and . J. Supercomput., 1 (3): 301-325 (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Boris Culik

Charalambos Karela

Heiko Karels

Sophie Karela

Anna Karelina

 

Other publications of authors with the same name

Semantics and translation of grammars and ALGOL-like languages.. Kybernetika, 1 (1): 47-49 (1965)Mathematical Theory of Serial Computers.. Fachtagung über Programmiersprachen, volume 1 of Informatik-Fachberichte, page 203-234. Springer, (1976)An Advanced Programming Language Definition and Domain Correctness of Programs.. ACM SIGPLAN Notices, 17 (8): 57-66 (1982)Parallel algorithms and architectures report of a workshop., , , , , , , , , and 11 other author(s). J. Supercomput., 1 (3): 301-325 (1988)Main Degrees of Complexity of Computer Programs and Computable Functions (Abstract).. GI Jahrestagung, volume 1 of Lecture Notes in Computer Science, page 151-153. Springer, (1973)Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes.. POPL, page 176-184. ACM Press, (1978)On Formal and Informal Proofs for Program Correctness.. ACM SIGPLAN Notices, 18 (1): 23-28 (1983)On Some Axiomatic Systems for Formal Grammars and Languages.. IFIP Congress, page 313-317. North-Holland, (1962)On mathematical models and the role of the mathematics in knowledge of reality.. Kybernetika, 2 (1): 1-13 (1966)Extensions of rooted trees and their applications.. Discret. Math., 18 (2): 131-148 (1977)