Pambuccian, Victor Axiomatizing geometric constructions. (English) Zbl 1143.03007 J. Appl. Log. 6, No. 1, 24-46 (2008). Reviewer: T. Thrivikraman (Nileshwar) MSC: 03B30 51F99 51M10 PDF BibTeX XML Cite \textit{V. Pambuccian}, J. Appl. Log. 6, No. 1, 24--46 (2008; Zbl 1143.03007) Full Text: DOI OpenURL
Huckenbeck, Ulrich A result about the power of geometric oracle machines. (English) Zbl 0742.51018 Theor. Comput. Sci. 88, No. 2, 231-251 (1991). Reviewer: P.Schreiber MSC: 51M15 68W30 68Q05 68U05 PDF BibTeX XML Cite \textit{U. Huckenbeck}, Theor. Comput. Sci. 88, No. 2, 231--251 (1991; Zbl 0742.51018) Full Text: DOI OpenURL
Huckenbeck, Ulrich On geometric automata which can nondeterministically choose auxiliary points. (English) Zbl 0704.68101 RAIRO, Inform. Théor. Appl. 24, No. 5, 471-487 (1990). MSC: 68U05 68Q45 PDF BibTeX XML Cite \textit{U. Huckenbeck}, RAIRO, Inform. Théor. Appl. 24, No. 5, 471--487 (1990; Zbl 0704.68101) Full Text: DOI EuDML OpenURL
Huckenbeck, Ulrich Euclidean geometry in terms of automata theory. (English) Zbl 0678.68055 Theor. Comput. Sci. 68, No. 1, 71-87 (1989). MSC: 68Q45 51M05 PDF BibTeX XML Cite \textit{U. Huckenbeck}, Theor. Comput. Sci. 68, No. 1, 71--87 (1989; Zbl 0678.68055) Full Text: DOI OpenURL