-
1
-
-
0015417381
-
Decision procedure for surjectivity and injectivity of parallel maps for tessellation structure
-
S. Amoroso and Y. Patt. Decision procedure for surjectivity and injectivity of parallel maps for tessellation structure. Journal of Computer and System Sciences, 6:448-464, 1972.
-
(1972)
Journal of Computer and System Sciences
, vol.6
, pp. 448-464
-
-
Amoroso, S.1
Patt, Y.2
-
3
-
-
84955593400
-
Reversible cellular automaton able to simulate any other reversible one using partitioning automata
-
Springer-Verlag
-
J. O. Durand-Lose. Reversible cellular automaton able to simulate any other reversible one using partitioning automata. In LATIN '95, number 911 in Lecture Notes in Computer Science, pages 230-244. Springer-Verlag, 1995.
-
(1995)
LATIN'95, number 911 in Lecture Notes in Computer Science
, pp. 230-244
-
-
Durand-Lose, J.O.1
-
5
-
-
0001072208
-
Endomorphism and automorphism of the shift dynamical system
-
G. A. Hedlung. Endomorphism and automorphism of the shift dynamical system. Mathematical System Theory, 3:320-375, 1969.
-
(1969)
Mathematical System Theory
, vol.3
, pp. 320-375
-
-
Hedlung, G.A.1
-
6
-
-
44949288975
-
Reversibility of 2D cellular automata is undecidable
-
J. Kari. Reversibility of 2D cellular automata is undecidable. Physica D, 45:379-385, 1990.
-
(1990)
Physica D
, vol.45
, pp. 379-385
-
-
Kari, J.1
-
7
-
-
0028368814
-
Reversibility and surjectivity problems of cellular automata
-
J. Kari. Reversibility and surjectivity problems of cellular automata. Journal of Computer and System Sciences, 48(1):149-182, 1994.
-
(1994)
Journal of Computer and System Sciences
, vol.48
, Issue.1
, pp. 149-182
-
-
Kari, J.1
-
8
-
-
0005278781
-
Representation of reversible cellular automata with block permutations
-
J. Kari. Representation of reversible cellular automata with block permutations. Mathematical System Theory, 29:47-61, 1996.
-
(1996)
Mathematical System Theory
, vol.29
, pp. 47-61
-
-
Kari, J.1
-
9
-
-
0020496097
-
Physics-like models of computation
-
N. Margolus. Physics-like models of computation. Physica D, 10:81-95, 1984.
-
(1984)
Physica D
, vol.10
, pp. 81-95
-
-
Margolus, N.1
-
10
-
-
0028336156
-
A universal cellular automaton in quasi-lineax time and its S-n-m form
-
B. Martin. A universal cellular automaton in quasi-lineax time and its S-n-m form. Theoretical Computer Science, 123:199-237, 1994.
-
(1994)
Theoretical Computer Science
, vol.123
, pp. 199-237
-
-
Martin, B.1
-
12
-
-
0026896987
-
Computation-universality of one-dimensional one-way reversible cellular automata
-
K. Morita. Computation-universality of one-dimensional one-way reversible cellular automata. Information Processing Letters, 42:325-329, 1992.
-
(1992)
Information Processing Letters
, vol.42
, pp. 325-329
-
-
Morita, K.1
-
13
-
-
0029360194
-
Reversible simulation of one-dimensional irreversible cellular automata
-
K. Morita. Reversible simulation of one-dimensional irreversible cellular automata. Theoretical Computer Science, 148:157-163, 1995.
-
(1995)
Theoretical Computer Science
, vol.148
, pp. 157-163
-
-
Morita, K.1
-
16
-
-
0000745182
-
Computation and construction universality of reversible cellular automata
-
T. Toffoli. Computation and construction universality of reversible cellular automata. Journal of Computer and System Sciences, 15:213-231, 1977.
-
(1977)
Journal of Computer and System Sciences
, vol.15
, pp. 213-231
-
-
Toffoli, T.1
-
18
-
-
0001566941
-
Invertible cellular automata: A review
-
T. Toffoli and N. Margolus. Invertible cellular automata: A review. Physica D, 45:229-253, 1990.
-
(1990)
Physica D
, vol.45
, pp. 229-253
-
-
Toffoli, T.1
Margolus, N.2
|