×

Found 25 Documents (Results 1–25)

Between Turing and Kleene. (English) Zbl 07551724

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 281-300 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

On Liouville numbers: yet another application of functional analysis to number theory. (English) Zbl 1398.11106

Sander, Jürgen (ed.) et al., From arithmetic to zeta-functions. Number theory in memory of Wolfgang Schwarz. Cham: Springer (ISBN 978-3-319-28202-2/hbk; 978-3-319-28203-9/ebook). 485-507 (2016).
MSC:  11J81 01A55 54E52
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software