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
one of several equivalent definitions of a computable function
(en)
Klasse
(de)
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
:Integer_square_root
dbr
:Recursion_(computer_science)
dbr
:Computable_function
dbc
:Computability_theory
dbr
:Computer_science
dbr
:Mathematical_logic
dbr
:Turing_machine
dbr
:Computational_complexity_theory
dbr
:Natural_number
dbr
:Μ_operator
dbr
:Journal_of_Symbolic_Logic
dbr
:Halting_problem
dbr
:Recursion
dbr
:Ackermann_function
dbr
:Markov_algorithm
dbr
:Register_machine
dbr
:Church–Turing_thesis
dbr
:Lambda_calculus
dbr
:Marvin_Minsky
dbr
:Primitive_recursive_function
dbr
:Universal_Turing_machine
dbr
:McCarthy_91_function
dbr
:Fibonacci_number
dbr
:Domain_of_a_function
dbr
:R_(complexity)
dbr
:Partial_function
dbr
:Kleene's_T_predicate
dbc
:Theory_of_computation
dbr
:Junctor
dbr
:Total_Turing_machine
dbr
:Recursion_theory
dbr
:Church's_thesis
dbr
:Computability_theory_(computation)
dbr
:Primitive_recursive_functions
dbr
:Logical_negation
dbp:
b
1
(xsd:integer)
2
(xsd:integer)
3
(xsd:integer)
13
(xsd:integer)
m
(en)
n
(en)
q
(en)
i
(en)
dbp:
p
1
(xsd:integer)
3
(xsd:integer)
7
(xsd:integer)
m
(en)
n
(en)
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Authority_control
dbt
:Blockquote
dbt
:Cite_journal
dbt
:Example_needed
dbt
:Expand_section
dbt
:Math
dbt
:Mset
dbt
:Mvar
dbt
:Refbegin
dbt
:Refend
dbt
:Reflist
dbt
:Rp
dbt
:Sfn
dbt
:Short_description
dbt
:Su
dbt
:Unordered_list
dbt
:Val
dct:
subject
dbc
:Computability_theory
dbc
:Theory_of_computation
rdf:
type
owl
:Thing
owl
:Thing
rdfs:
label
General recursive function
(en)
Funció recursiva
(ca)
Částečně rekurzivní funkce
(cs)
Μ-αναδρομική συνάρτηση
(el)
Función recursiva
(es)
Μ-Rekursion
(de)
Fonction récursive
(fr)
Funzione ricorsiva
(it)
Μ再帰関数
(ja)
Μ-재귀 함수
(ko)
Funkcja rekurencyjna
(pl)
Μ-recursieve functie
(nl)
Função μ-recursiva
(pt)
递归函数
(zh)
owl:
sameAs
wikidata
:General recursive function
dbpedia-de
:General recursive function
dbpedia-es
:General recursive function
dbpedia-it
:General recursive function
dbpedia-nl
:General recursive function
dbpedia-pl
:General recursive function
dbpedia-fr
:General recursive function
dbpedia-he
:General recursive function
dbpedia-ja
:General recursive function
dbpedia-pt
:General recursive function
dbpedia-zh
:General recursive function
dbpedia-el
:General recursive function
dbpedia-ko
:General recursive function
dbpedia-ca
:General recursive function
dbpedia-cs
:General recursive function
dbpedia-fa
:General recursive function
dbpedia-sr
:General recursive function
dbpedia-global
:General recursive function
prov:
wasDerivedFrom
wikipedia-en
:General_recursive_function?oldid=1303228064&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
:Mu-recursive
dbr
:Mu-recursive_function
dbr
:Mu_recursive_function
dbr
:Μ-recursive_function
dbr
:Recursive_function_(computability)
dbr
:Recursive_function_theory
dbr
:General-recursive
dbr
:General_recursive
dbr
:M-recursive_function
dbr
:Partial_recursive_function
dbr
:Μ-recursive
dbr
:Μ_recursion
dbr
:Total_recursive_function
is
dbo:
wikiPageWikiLink
of
dbr
:Heyting_arithmetic
dbr
:Constructive_set_theory
dbr
:Effective_method
dbr
:Computable_function
dbr
:Jacques_Herbrand
dbr
:MU
dbr
:Halting_problem
dbr
:Church–Turing_thesis
dbr
:Model_of_computation
dbr
:Turing_completeness
dbr
:Primitive_recursive_function
dbr
:Pushdown_automaton
dbr
:Recursive_function
dbr
:Dieter_Rödding
dbr
:Partial_function
dbr
:Kleene's_T_predicate
dbr
:Path_ordering_(term_rewriting)
dbr
:Enumeration_reducibility
dbr
:Timeline_of_mathematical_logic
dbr
:Mu-recursive
dbr
:Mu-recursive_function
dbr
:Mu_recursive_function
dbr
:Μ-recursive_function
dbr
:Recursive_function_(computability)
dbr
:Recursive_function_theory
dbr
:General-recursive
dbr
:General_recursive
dbr
:M-recursive_function
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