Freivalds, Rūsiņš; Zeugmann, Thomas On the amount of nonconstructivity in learning recursive functions. (English) Zbl 1331.68120 Ogihara, Mitsunori (ed.) et al., Theory and applications of models of computation. 8th annual conference, TAMC 2011, Tokyo, Japan, May 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20876-8/pbk). Lecture Notes in Computer Science 6648, 332-343 (2011). MSC: 68Q32 03D10 03D20 68Q05 PDFBibTeX XMLCite \textit{R. Freivalds} and \textit{T. Zeugmann}, Lect. Notes Comput. Sci. 6648, 332--343 (2011; Zbl 1331.68120) Full Text: DOI
Börger, Egon Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen. (German) Zbl 0277.02009 Arch. Math. Logik Grundlagenforsch. 16, 67-84 (1974). MSC: 03B25 PDFBibTeX XMLCite \textit{E. Börger}, Arch. Math. Logik Grundlagenforsch. 16, 67--84 (1974; Zbl 0277.02009) Full Text: DOI EuDML