#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1962

1996

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Karel Culík
- Discrete Mathematics
- 1996

A new aperiodic tile set containing only 13 tiles over 5 colors is presented. Its construction is based on a technique recently developed by J. Kari. The tilings simulate behavior of sequential machines that multiply real numbers in balanced representations by real constants.

- Duncan A. Buell, David A. Carlson, +18 authors Jon Webb
- The Journal of Supercomputing
- 1988

D U N C A N A. B U E L L , D A V I D A. C A R L S O N , Y U A N C H I E H CHOW, K A R E L C U L I K , N A R S I N G H DEO, R A P H A E L F I N K E L , E L I A S N. HOUSTIS , E L A I N E M. J A C O B S O N , Z V I M. K E D E M , J A N U S Z S. K O W A L I K , P H I L I P J. K U E K E S , J O A N N E L. M A R T I N . G E O R G E A. M I C H A E L (CHAIR) , N E… (More)

- Karel Culík
- Kybernetika
- 1965

- Karel Culík
- Discrete Mathematics
- 1977

- Karel Culík
- Mathematical Studies of Information Processing
- 1978

- Karel Culík
- SIGPLAN Notices
- 1982

Program execution is not adequately reflected in usual syntactic programming language definition by formal grammar, although either actual or mental execution is referred to during reading (tracing) and correctness proving. An advanced programming languages definition associates in input/output variables, the domain, and the computable function with each… (More)

- Karel Culík
- COLING
- 1965

- Karel Culík
- SIGPLAN Notices
- 1983

An answer: One of the reasons may be the fact that in last years much more frequently formal (formalized) proofs of correctness are studied from pure logical point of view, based on Hoare's proof rules and notation [Hoar69] (e.g., a tutorial [Haki76], or [OwGr76], or a textbook [Bakk80], or [ApFR80], etc.), rather than informal (usual mathematical) proo[s… (More)

- Karel Culík
- Fachtagung über Programmiersprachen
- 1976

- Karel Culík
- Kybernetika
- 1966