Autor:	John Longley, Dag Normann
Rok vydání:	2015
Předmět:	Computable model theory Computable function Computer science Computability Computability logic Calculus Formal development Equivalence (formal languages) Undecidable problem
Zdroj:	Higher-Order Computability ISBN: 9783662479919
Popis:	We now begin the formal development of our material. Our purpose in this chapter is to set up the general framework within which we shall work, consolidating on the notions of computability model, simulation and equivalence as outlined in Section 1.1, and introducing several important examples.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ecd1ef11b9e40ff17b567dcc0e52e39a https://doi.org/10.1007/978-3-662-47992-6_3 Zobrazit plný text záznamu