dblp.uni-trier.dewww.uni-trier.de

Karel Culík

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996
11EEKarel Culík: An aperiodic set of 13 Wang tiles. Discrete Mathematics 160(1-3): 245-251 (1996)
1983
10 Karel Culík: On Formal and Informal Proofs for Program Correctness. SIGPLAN Notices 18(1): 23-28 (1983)
1982
9 Karel Culík: An Advanced Programming Language Definition and Domain Correctness of Programs. SIGPLAN Notices 17(8): 57-66 (1982)
1978
8 Karel Culík: Synchronized parallel computation and slowdown of translators. Mathematical Studies of Information Processing 1978: 67-105
7 Karel Culík: Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes. POPL 1978: 176-184
1976
6 Karel Culík: Mathematical Theory of Serial Computers. Fachtagung über Programmiersprachen 1976: 203-234
1973
5 Karel Culík: Main Degrees of Complexity of Computer Programs and Computable Functions (Abstract). GI Jahrestagung 1973: 151-153
4 Karel Culík: Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams. MFCS 1973: 27-38
3 Karel Culík, Michael A. Arbib: Sequential and Jumping Machines and their Relation to Computers Acta Inf. 2: 162-171 (1973)
1965
2 Karel Culík: Axiomatic System for Phrase Structure Grammars. I Information and Control 8(5): 493-502 (1965)
1962
1 Karel Culík: On Some Axiomatic Systems for Formal Grammars and Languages. IFIP Congress 1962: 313-317

Coauthor Index

1Michael A. Arbib [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)