 | 2001 |
|---|
| 17 |       | Ivan Korec:
A list of arithmetical structures complete with respect to the first-order definability.
Theor. Comput. Sci. 257(1-2): 115-151 (2001) |
| 1998 |
|---|
| 16 |  | Ivan Korec:
Real-time generation of primes by a one-dimensional cellular automaton with 9-states.
MCU (2) 1998: 101-116 |
| 1997 |
|---|
| 15 | | Ivan Korec:
Real-Time Generation of Primes by a One-Dimensional Cellular Automaton with 11 States.
MFCS 1997: 358-367 |
| 14 | | Ivan Korec:
Theories of Generalized Pascal Triangles.
Ann. Pure Appl. Logic 89(1): 45-52 (1997) |
| 1996 |
|---|
| 13 | | Ivan Korec:
Small Universal Register Machines.
Theor. Comput. Sci. 168(2): 267-301 (1996) |
| 1993 |
|---|
| 12 | | Ivan Korec:
Definability of Arithmetic Operations from the Order and a Random Relation.
Fundam. Inform. 18: 287-296 (1993) |
| 11 | | Ivan Korec:
Irrational Speeds of Configurations Growth in Generalized Pascal Triangles.
Theor. Comput. Sci. 112(2): 399-412 (1993) |
| 1989 |
|---|
| 10 | | Ivan Korec:
Semilinear Real-Time Systolic Trellis Automata.
FCT 1989: 267-276 |
| 1987 |
|---|
| 9 | | Ivan Korec:
Improvement of Mycielski's inequality for non-natural disjoint covering system of Z.
Discrete Mathematics 64(1): 27-38 (1987) |
| 1986 |
|---|
| 8 | | Ivan Korec:
Undecidable Problems Concerning Generalized Pascal Triangles of Commutative Algebras.
MFCS 1986: 458-466 |
| 1984 |
|---|
| 7 | | Ivan Korec:
Two kinds of processors are sufficient and large operating alphabets are needed for regular trellis automata languages.
Bulletin of the EATCS 23: 35-41 (1984) |
| 1981 |
|---|
| 6 | | Ivan Korec:
Codings of Nonnegative Integers.
MFCS 1981: 379-388 |
| 1979 |
|---|
| 5 | | Ludmila Gregusová,
Ivan Korec:
Small Universal Minsky Machines.
MFCS 1979: 308-316 |
| 1977 |
|---|
| 4 | | Ivan Korec:
Decidability (Undecidability) of Equivalence of Minsky Machines with Components Consisting of at Most Seven (Eight) Instructions.
MFCS 1977: 324-332 |
| 3 | | Ivan Korec,
Juraj Procházka:
Real-Time Computability of integer part of (abs(alpha) x) and integer part of xalpha.
Elektronische Informationsverarbeitung und Kybernetik 13(1/2): 13-26 (1977) |
| 1975 |
|---|
| 2 | | M. Benesová,
Ivan Korec:
Non-Linear Speed-Up Theorem for Two Register Minsky Machines.
MFCS 1975: 179-185 |
| 1973 |
|---|
| 1 | | Ivan Korec:
Computational Complexity Based on Expectation of the Time of Computation on Minsky Machines.
MFCS 1973: 247-250 |
