A new characterization of computable functions

zbMath1313.03018arXiv1011.4103MaRDI QIDQ2922764

Apoloniusz Tyszka

Publication date: 14 October 2014

Full work available at URL: https://arxiv.org/abs/1011.4103

zbMATH Keywords

computable functionDavis-Putnam-Robinson-Matiyasevich theorem

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Model theory (number-theoretic aspects) (11U09)

This page was built for publication: A new characterization of computable functions