Bhaskar, Siddharth A difference in complexity between recursion and tail recursion. (English) Zbl 1380.03038 Theory Comput. Syst. 60, No. 2, 299-313 (2017). Reviewer: Stela K. Nikolova (Sofia) MSC: 03D75 03D15 PDF BibTeX XML Cite \textit{S. Bhaskar}, Theory Comput. Syst. 60, No. 2, 299--313 (2017; Zbl 1380.03038) Full Text: DOI
Leivant, Daniel M. Alternating Turing machines for inductive languages. (English) Zbl 1322.03030 Log. Methods Comput. Sci. 9, No. 3, Paper No. 31, 12 p. (2013). Reviewer: Stela K. Nikolova (Sofia) MSC: 03D10 03D60 03D70 PDF BibTeX XML Cite \textit{D. M. Leivant}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 31, 12 p. (2013; Zbl 1322.03030) Full Text: DOI
Sotirov, Vladimir Non-classical operations hidden in the classical logic. (English) Zbl 1164.03004 C. R. Acad. Bulg. Sci. 61, No. 5, 567-570 (2008). Reviewer: Stela K. Nikolova (Sofia) MSC: 03B50 03B05 PDF BibTeX XML Cite \textit{V. Sotirov}, C. R. Acad. Bulg. Sci. 61, No. 5, 567--570 (2008; Zbl 1164.03004)
Lisi, Meri Some remarks on the Cantor pairing function. (English) Zbl 1164.03007 Matematiche 62, No. 1, 55-65 (2007). Reviewer: Stela K. Nikolova (Sofia) MSC: 03D20 03D75 03E20 PDF BibTeX XML Cite \textit{M. Lisi}, Matematiche 62, No. 1, 55--65 (2007; Zbl 1164.03007)
Tucker, J. V.; Zucker, J. I. Abstract versus concrete computability: the case of countable algebras. (English) Zbl 1116.03037 Stoltenberg-Hansen, Viggo (ed.) et al., Logic colloquium ’03. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Helsinki, Finland, August 14–20, 2003. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-293-0/hbk; 1-56881-294-9/pbk). Lecture Notes in Logic 24, 377-408 (2006). Reviewer: Stela K. Nikolova (Sofia) MSC: 03D75 03D45 68Q05 68Q65 PDF BibTeX XML Cite \textit{J. V. Tucker} and \textit{J. I. Zucker}, Lect. Notes Log. 24, 377--408 (2006; Zbl 1116.03037)
Zashev, Jordan Diagonal fixed points in algebraic recursion theory. (English) Zbl 1115.03055 Arch. Math. Logic 44, No. 8, 973-994 (2005). Reviewer: Stela K. Nikolova (Sofia) MSC: 03D75 03B40 PDF BibTeX XML Cite \textit{J. Zashev}, Arch. Math. Logic 44, No. 8, 973--994 (2005; Zbl 1115.03055) Full Text: DOI