On geometric automata which can nondeterministically choose auxiliary points
Huckenbeck, Ulrich
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990), p. 471-487 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1990-01-01
@article{ITA_1990__24_5_471_0,
     author = {Huckenbeck, Ulrich},
     title = {On geometric automata which can nondeterministically choose auxiliary points},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {24},
     year = {1990},
     pages = {471-487},
     mrnumber = {1080502},
     zbl = {0704.68101},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1990__24_5_471_0}
}

Huckenbeck, Ulrich. On geometric automata which can nondeterministically choose auxiliary points. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990) pp. 471-487. http://gdmltest.u-ga.fr/item/ITA_1990__24_5_471_0/

1. D. Hilbert, Grundlagen der Geometrie. Teubner Studienbücher, 11th edition, 1972.

2. U. Huckenbeck, Geometrische Maschinenmodelle. Ph. D. thesis, University at Würzburg, 1986. | MR 943118 | Zbl 0642.68102

3. U. Huckenbeck, Geometrical Abstract Automata. Proc. Workshop on Computational Geometry and its Applications (CG 88, Würzburg, March 1988), Lect. Notes in Comp. Sci. 333, p. 217-231. | MR 1028831 | Zbl 0656.68059

4. U. Huckenbeck Euclidian Geometry in Terms of Automata Theory, Theoretical Computer Science, vol. 68, 1989, p. 71-87. | MR 1022659 | Zbl 0678.68055

5. U. Huckenbeck, On Fixed Points of Rational Functions with Values on a Circle. Bolletino U.M.I., Sez. A, to appear. | MR 1066771 | Zbl 0706.26012

6. F. P. Preparata and M. I. Shamos, Computational Geometry, an Introduction, Springer, 1985. | MR 805539 | Zbl 0759.68037

7. P. Schreiber, Grundlagen der konstruktiven Geometrie, VEB Verlag der Wissenschaften, Berlin, 1984. | MR 742303 | Zbl 0534.51001

8. M. I. Shamos Geometric Complexity. Proc. 7th ACM Symp. on the Theory of Computing, May 1975, p. 224-233. | MR 464704 | Zbl 0357.68046

9. H. Tietze Über die Konstruierbarkeit mit Lineal und Zirkel, Sitzungsbericht der kaiserlichen Akademie der Wissenschaften, mathemat.-naturwissenschaftl. Klasse 118, Abteilung II a, 1909, p. 735-757. | JFM 40.0548.05