About: Enumeration reducibility

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Method of reduction in computablity theory and computational complexity theory

Property	Value
dbo:description	method of reduction in computablity theory and computational complexity theory (en)
dbo:wikiPageExternalLink	http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.95.8166&rep=rep1&type=pdf https://web.archive.org/web/20200208205636/https:/pdfs.semanticscholar.org/1c6c/3e5e245869e5282e07a655e475c83e60883e.pdf https://www.academia.edu/6411846/_S_C_Kleene_Introduction_to_Metamathematics_Book_Fi_org_1_
dbo:wikiPageWikiLink	dbr:Oracle_machine dbr:Finite_set dbr:Enumeration dbc:Computability_theory dbr:Complement_(set_theory) dbr:Function_(mathematics) dbr:Set_(mathematics) dbc:Reduction_(complexity) dbr:Robert_M._Solovay dbr:Many-one_reduction dbr:John_Myhill dbr:Partial_function dbr:Computation dbr:Arithmetical_hierarchy dbr:Computability_theory dbr:Symmetric_difference dbc:Mathematical_logic dbr:Negation dbr:Computational_complexity_theory dbr:Kleene's_recursion_theorem dbr:Hartley_Rogers_Jr. dbr:Turing_reduction dbr:General_recursive_function dbr:Intersection dbr:Natural_number dbr:Truth-table_reduction dbr:Reduction_(recursion_theory) dbr:Mathematical_Logic_Quarterly dbr:Supremum dbr:Richard_M._Friedberg dbr:Recursively_enumerable_set dbr:Reducibility_relation dbr:Enumerability
dbp:wikiPageUsesTemplate	dbt:Cn
dct:subject	dbc:Computability_theory dbc:Reduction_(complexity) dbc:Mathematical_logic
rdfs:label	Enumeration reducibility (en)
owl:sameAs	wikidata:Enumeration reducibility dbpedia-global:Enumeration reducibility dbr:Enumeration reducibility
prov:wasDerivedFrom	wikipedia-en:Enumeration_reducibility?oldid=1291752717&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Enumeration_reducibility
is dbo:wikiPageWikiLink of	dbr:Kleene's_recursion_theorem dbr:Reduction_(computability_theory)
is foaf:primaryTopic of	wikipedia-en:Enumeration_reducibility

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International