About: Walther recursion

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	https://www.researchgate.net/profile/Christoph-Walther/publication/220545855_On_Proving_the_Termination_of_Algorithms_by_Machine/links/5a974a8eaca27214056b3bf4/On-Proving-the-Termination-of-Algorithms-by-Machine.pdf http://dspace.mit.edu/handle/1721.1/35388 http://ttic.uchicago.edu/~dmcallester/walther.ps https://www.springer.com/computer/ai/book/978-3-540-61511-8
dbo:wikiPageWikiLink	dbr:Primitive_recursive_function dbr:Total_functional_programming dbr:Massachusetts_Institute_of_Technology dbr:Termination_analysis dbr:Halting_problem dbr:Christoph_Walther dbc:Recursion dbr:BlooP_and_FlooP dbr:Artificial_Intelligence_(journal) dbr:Total_Turing_machine dbr:Terminating
dbp:wikiPageUsesTemplate	dbt:Compu-prog-stub dbt:Cite_journal dbt:More_footnotes_needed dbt:Cite_conference dbt:Cite_thesis
dct:subject	dbc:Recursion
gold:hypernym	dbr:Method
rdfs:label	Walther recursion (en)
owl:sameAs	freebase:Walther recursion wikidata:Walther recursion dbpedia-global:Walther recursion
prov:wasDerivedFrom	wikipedia-en:Walther_recursion?oldid=1087885163&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Walther_recursion
is dbo:knownFor of	dbr:Christoph_Walther
is dbo:wikiPageWikiLink of	dbr:Total_functional_programming dbr:Termination_analysis dbr:Christoph_Walther
is dbp:knownFor of	dbr:Christoph_Walther
is foaf:primaryTopic of	wikipedia-en:Walther_recursion

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