Sipoş, Andrei Effective results on a fixed point algorithm for families of nonlinear mappings. (English) Zbl 1422.03123 Ann. Pure Appl. Logic 168, No. 1, 112-128 (2017). MSC: 03F10 03F60 47J25 47H09 PDFBibTeX XMLCite \textit{A. Sipoş}, Ann. Pure Appl. Logic 168, No. 1, 112--128 (2017; Zbl 1422.03123) Full Text: DOI arXiv
Finkel, Olivier Infinite games specified by 2-tape automata. (English) Zbl 1422.03113 Ann. Pure Appl. Logic 167, No. 12, 1184-1212 (2016). MSC: 03E60 03E35 03D05 68Q45 68Q15 68Q17 03E15 PDFBibTeX XMLCite \textit{O. Finkel}, Ann. Pure Appl. Logic 167, No. 12, 1184--1212 (2016; Zbl 1422.03113) Full Text: DOI arXiv
Ziegler, Martin Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra. (English) Zbl 1259.03059 Ann. Pure Appl. Logic 163, No. 8, 1108-1139 (2012). Reviewer: Daniel Graça (Faro) MSC: 03D78 03D45 03D15 68Q17 65F99 PDFBibTeX XMLCite \textit{M. Ziegler}, Ann. Pure Appl. Logic 163, No. 8, 1108--1139 (2012; Zbl 1259.03059) Full Text: DOI