-
1
-
-
0003359740
-
The undecidability of the domino problem
-
Berger R., The undecidability of the domino problem. Mem. Amer. Soc. 66, (1966).
-
(1966)
Mem. Amer. Soc
, vol.66
-
-
Berger, R.1
-
3
-
-
33947369891
-
-
Margenstern M., Cellular automata in the hyperbolic plane. Technical report, Publications of the G.I.F.M., I.U.T. of Metz, 34p., ISBN 2-9511539-6-1, 1999.
-
Margenstern M., Cellular automata in the hyperbolic plane. Technical report, Publications of the G.I.F.M., I.U.T. of Metz, 34p., ISBN 2-9511539-6-1, 1999.
-
-
-
-
4
-
-
0013323782
-
New Tools for Cellular Automata in the Hyperbolic Plane
-
Margenstern M., New Tools for Cellular Automata in the Hyperbolic Plane, Journal of Universal Computations and Systems, 6, No12, 1226-1252, (2000).
-
(2000)
Journal of Universal Computations and Systems
, vol.6
, Issue.NO12
, pp. 1226-1252
-
-
Margenstern, M.1
-
5
-
-
84867454743
-
-
Margenstern M., Tiling the hyperbolic plane with a single à la Wang tile. Technical report of LITA, the University of Metz, 2001-101, 61pp., (2001).
-
Margenstern M., Tiling the hyperbolic plane with a single à la Wang tile. Technical report of LITA, the University of Metz, 2001-101, 61pp., (2001).
-
-
-
-
6
-
-
2442460321
-
A Polynomial Solution for 3-SAT in the Space of Cellular Automata in the Hyperbolic Plane
-
Margenstern M., Morita K., A Polynomial Solution for 3-SAT in the Space of Cellular Automata in the Hyperbolic Plane, Journal of Universal Computer Science, 5, No9, 563-573, (1999).
-
(1999)
Journal of Universal Computer Science
, vol.5
, Issue.NO9
, pp. 563-573
-
-
Margenstern, M.1
Morita, K.2
-
8
-
-
0034914491
-
NP problems are tractable in the space of cellular automata in the hyperbolic plane
-
Margenstern M., Morita K., NP problems are tractable in the space of cellular automata in the hyperbolic plane, Theoretical Computer Science, 259, 99-128, (2001).
-
(2001)
Theoretical Computer Science
, vol.259
, pp. 99-128
-
-
Margenstern, M.1
Morita, K.2
-
9
-
-
0032428536
-
Aperiodic tilings of the hyperbolic plane by convex polygons
-
Margulis G.A., Moses S, Aperiodic tilings of the hyperbolic plane by convex polygons, Israel Journal of Mathematics, 107, 319-332, (1998).
-
(1998)
Israel Journal of Mathematics
, vol.107
, pp. 319-332
-
-
Margulis, G.A.1
Moses, S.2
-
10
-
-
84867477152
-
-
Oddifredi P., Classical Recursion Theory, North-Holland, 1989. Poincare Poincaré H., Théorie des groupes fuchsiens. Acta Mathematica, 1, 1-62, (1882).
-
Oddifredi P., Classical Recursion Theory, North-Holland, 1989. Poincare Poincaré H., Théorie des groupes fuchsiens. Acta Mathematica, 1, 1-62, (1882).
-
-
-
-
11
-
-
0001646410
-
Undecidable tiling problems in the hyperbolic plane
-
Robinson R.M. Undecidable tiling problems in the hyperbolic plane. Inventiones Mathematicae, 44, 259-264, (1978).
-
(1978)
Inventiones Mathematicae
, vol.44
, pp. 259-264
-
-
Robinson, R.M.1
-
12
-
-
84944488797
-
Proving theorems by pattern recognition
-
Wang H. Proving theorems by pattern recognition, Bell System, Tech. J., 40, 1-41, (1961).
-
(1961)
Bell System, Tech. J
, vol.40
, pp. 1-41
-
-
Wang, H.1
|