uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
New Definitions of the Recursive Functions
Uppsala University, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Faculty of Arts, Department of Philosophy. Teoretisk filosofi.
2002 (English)In: Uppsala Prints and Preprints in Philosophy, no 6, 45- p.Article, review/survey (Other (popular scientific, debate etc.)) Published
Abstract [en]

Four new definitions are given of the recursive functions. They are proven equivalent with Kleene's definition.

Place, publisher, year, edition, pages
2002. no 6, 45- p.
Keyword [en]
recursion theory, recursive functions
National Category
Philosophy Algebra and Logic Computer Science
URN: urn:nbn:se:uu:diva-25191OAI: oai:DiVA.org:uu-25191DiVA: diva2:52965
Available from: 2007-02-10 Created: 2007-02-10 Last updated: 2011-01-13

Open Access in DiVA

No full text

By organisation
Department of Philosophy
PhilosophyAlgebra and LogicComputer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 145 hits
ReferencesLink to record
Permanent link

Direct link