E-LIB Suche - Ergebnisse für: Culik, K.

1

Driving Simulator as a Tool for Reaction Time Measurement:

Čulík, K. ; Štefancová, V ; Kalašová, A.
IOP Conference Series: Materials Science and Engineering. 1247 (2022) 1 - p. 012034 , 2022

Link: https://doi.org/10.1088/..

2

Logic versus mathematics in computer science education:

, In: Proceedings of the fourteenth SIGCSE technical symposium on Computer science education,

Culik, K. ; Rizki, M. M. - p. 14-20 , 1983

Link: https://dl.acm.org/doi/1..

3

On formal and informal proofs for program correctness:

Culik, K.
ACM SIGPLAN Notices. 18 (1983) 1 - p. 23-28 , 1983

Link: https://doi.org/10.1145/..

4

On formal and informal proofs for program correctness:

Culik, K.
ACM SIGPLAN Notices. 18 (1983) 1 - p. 23-28 , 1983

Link: https://dl.acm.org/doi/1..

5

Logic versus mathematics in computer science education:

Culik, K. ; Rizki, M. M.
ACM SIGCSE Bulletin. 15 (1983) 1 - p. 14-20 , 1983

Link: https://doi.org/10.1145/..

6

Parallel permit grammars and some graph representations of ..:

Čulík, K.
Periodica Mathematica Hungarica. 11 (1980) 2 - p. 105-116 , 1980

Link: https://doi.org/10.1007/..

7

Literal homomorphisms of ol-languagest:

Ĉulík, K. ; Opatrný, J.
International Journal of Computer Mathematics. 4 (1974) 1-4 - p. 247-267 , 1974

Link: https://doi.org/10.1080/..

8

BASIC PROBLEMS IN THE MATHEMATICAL THEORY OF LANGUAGES:

ČULÍK, K.
Linguistics. 11 (1973) 118 - p. , 1973

Link: https://doi.org/10.1515/..

9

Asynchroneous automata:

Čulik, K.
Computing. 6 (1970) 1-2 - p. 191-199 , 1970

Link: https://doi.org/10.1007/..

10

On equivalent and similar grammars of ALGOL-like languages:

Culik, K.
Commentationes mathematicae Universitatis Carolinae. 5 (1964) - p. , 1964

Link: http://www.digizeitschri..

11

Formal languages and global cellular automaton behavior:

Culik II, K. ; Hurd, L.P. ; Yu, S.
Physica D: Nonlinear Phenomena. 45 (1990) 1-3 - p. 396-403 , 1990

Link: https://doi.org/10.1016/..

12

Computation theoretic aspects of cellular automata:

Culik II, K. ; Hurd, L.P. ; Yu, S.
Physica D: Nonlinear Phenomena. 45 (1990) 1-3 - p. 357-378 , 1990

Link: https://doi.org/10.1016/..

13

Systems of equations over a finitely generated free monoid ..:

, In: Lecture Notes in Mathematics; Semigroups Theory and Applications,

Culik II, K. ; Karhumäki, J. - p. 18-27 , 1988

Link: https://doi.org/10.1007/..

14

On real-time cellular automata and trellis automata:

Choffrut, C. ; Culik II, K.
Acta Informatica. 21 (1984) 4 - p. 393-407 , 1984

Link: https://doi.org/10.1007/..

15

Systolic trellis automatat†:

Culik II, K. ; Gruska, J. ; Salomaa, A.
International Journal of Computer Mathematics. 16 (1984) 1 - p. 3-22 , 1984

Link: https://doi.org/10.1080/..