Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
General recursive function
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
One of several equivalent definitions of a computable function
Property
Value
dbo:
description
Klasse
(de)
one of several equivalent definitions of a computable function
(en)
fonction dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini
(fr)
자연수에서 자연수로의 계산 가능한 부분 함수
(ko)
ena od več enakovrednih opredelitev izračunljive funkcije
(sl)
koncept vyčíslitelných funkcí obecnějších než primitivně rekurzivní funkce
(cs)
dbo:
wikiPageExternalLink
http://people.irisa.fr/Francois.Schwarzentruber/recursive_functions_to_turing_machines/
https://books.google.com/books%3Fid=0LpsXQV2kXAC&pg=PA70
https://books.google.com/books%3Fid=9I7Pl00LU5gC&pg=PP1
http://plato.stanford.edu/entries/recursive-functions/
dbo:
wikiPageInterLanguageLink
dbpedia-ru
:Рекурсивная_функция_(теория_вычислимости)
dbo:
wikiPageWikiLink
dbr
:Primitive_recursive_function
dbr
:Junctor
dbc
:Computability_theory
dbr
:Lambda_calculus
dbr
:Recursion
dbr
:Markov_algorithm
dbr
:R_(complexity)
dbr
:Universal_Turing_machine
dbr
:Computable_function
dbr
:Integer_square_root
dbr
:Church–Turing_thesis
dbr
:Μ_operator
dbr
:Domain_of_a_function
dbr
:Partial_function
dbr
:Halting_problem
dbr
:Computer_science
dbr
:Recursion_(computer_science)
dbr
:Computational_complexity_theory
dbr
:Marvin_Minsky
dbr
:Ackermann_function
dbr
:Mathematical_logic
dbr
:Register_machine
dbc
:Theory_of_computation
dbr
:Kleene's_T_predicate
dbr
:Natural_number
dbr
:Turing_machine
dbr
:McCarthy_91_function
dbr
:Church's_thesis
dbr
:Journal_of_Symbolic_Logic
dbr
:Recursion_theory
dbr
:Fibonacci_number
dbr
:Total_Turing_machine
dbr
:Primitive_recursive_functions
dbr
:Computability_theory_(computation)
dbr
:Logical_negation
dbp:
b
1
(xsd:integer)
2
(xsd:integer)
3
(xsd:integer)
13
(xsd:integer)
n
(en)
q
(en)
i
(en)
m
(en)
dbp:
p
1
(xsd:integer)
3
(xsd:integer)
7
(xsd:integer)
n
(en)
m
(en)
dbp:
wikiPageUsesTemplate
dbt
:Mset
dbt
:Authority_control
dbt
:Cite_book
dbt
:Reflist
dbt
:Math
dbt
:Cite_journal
dbt
:Expand_section
dbt
:Sfn
dbt
:Su
dbt
:Refend
dbt
:Val
dbt
:Refbegin
dbt
:Mvar
dbt
:Example_needed
dbt
:Rp
dbt
:Unordered_list
dbt
:Short_description
dbt
:Blockquote
dct:
subject
dbc
:Computability_theory
dbc
:Theory_of_computation
rdfs:
label
General recursive function
(en)
Funció recursiva
(ca)
Μ-αναδρομική συνάρτηση
(el)
Částečně rekurzivní funkce
(cs)
Función recursiva
(es)
Μ-Rekursion
(de)
Funzione ricorsiva
(it)
Fonction récursive
(fr)
Μ再帰関数
(ja)
Μ-재귀 함수
(ko)
Funkcja rekurencyjna
(pl)
Μ-recursieve functie
(nl)
Função μ-recursiva
(pt)
递归函数
(zh)
owl:
sameAs
wikidata
:General recursive function
dbpedia-it
:General recursive function
dbpedia-nl
:General recursive function
dbpedia-de
:General recursive function
dbpedia-fr
:General recursive function
dbpedia-zh
:General recursive function
dbpedia-ja
:General recursive function
dbpedia-pt
:General recursive function
dbpedia-he
:General recursive function
dbpedia-es
:General recursive function
dbpedia-fa
:General recursive function
dbpedia-pl
:General recursive function
dbpedia-ko
:General recursive function
dbpedia-el
:General recursive function
dbpedia-ca
:General recursive function
dbpedia-cs
:General recursive function
dbpedia-sr
:General recursive function
dbpedia-global
:General recursive function
prov:
wasDerivedFrom
wikipedia-en
:General_recursive_function?oldid=1292004761&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:General_recursive_function
is
dbo:
knownFor
of
dbr
:Dieter_Rödding
is
dbo:
wikiPageDisambiguates
of
dbr
:Recursive_function
is
dbo:
wikiPageRedirects
of
dbr
:Μ-recursive_function
dbr
:General_recursive
dbr
:Mu-recursive
dbr
:Mu-recursive_function
dbr
:Mu_recursive_function
dbr
:M-recursive_function
dbr
:General-recursive
dbr
:Recursive_function_(computability)
dbr
:Recursive_function_theory
dbr
:Partial_recursive_function
dbr
:Μ-recursive
dbr
:Μ_recursion
dbr
:Total_recursive_function
is
dbo:
wikiPageWikiLink
of
dbr
:Primitive_recursive_function
dbr
:MU
dbr
:Jacques_Herbrand
dbr
:Timeline_of_mathematical_logic
dbr
:Computable_function
dbr
:Church–Turing_thesis
dbr
:Effective_method
dbr
:Turing_completeness
dbr
:Partial_function
dbr
:Halting_problem
dbr
:Heyting_arithmetic
dbr
:Pushdown_automaton
dbr
:Kleene's_T_predicate
dbr
:Recursive_function
dbr
:Model_of_computation
dbr
:Constructive_set_theory
dbr
:Path_ordering_(term_rewriting)
dbr
:Μ-recursive_function
dbr
:Enumeration_reducibility
dbr
:Dieter_Rödding
dbr
:General_recursive
dbr
:Mu-recursive
dbr
:Mu-recursive_function
dbr
:Mu_recursive_function
dbr
:M-recursive_function
dbr
:General-recursive
dbr
:Recursive_function_(computability)
dbr
:Recursive_function_theory
dbr
:Partial_recursive_function
dbr
:Μ-recursive
dbr
:Μ_recursion
dbr
:Total_recursive_function
is
foaf:
primaryTopic
of
wikipedia-en
:General_recursive_function
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International