Imhof, Henrik Computational aspects of arity hierarchies. (English) Zbl 0894.03019 Dalen, Dirk van (ed.) et al., Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1258, 211-225 (1997). Reviewer: V.Pestov (Wellington) MSC: 03D15 68Q15 PDF BibTeX XML Cite \textit{H. Imhof}, Lect. Notes Comput. Sci. 1258, 211--225 (1997; Zbl 0894.03019) OpenURL
Stewart, Iain A. Logical characterization of bounded query classes. II: Polynomial-time oracle machines. (English) Zbl 0789.68059 Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 410-424 (1993). MSC: 68Q15 03D15 PDF BibTeX XML Cite \textit{I. A. Stewart}, Lect. Notes Comput. Sci. 702, 410--424 (1993; Zbl 0789.68059) OpenURL