Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Bar_recursion> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Bar_recursion abstract "Bar recursion is a generalized form of recursion developed by C. Spector in his 1962 paper. It is related to bar induction in the same fashion that primitive recursion is related to ordinary induction, or transfinite recursion is related to transfinite induction.".
- Bar_recursion wikiPageID "29726755".
- Bar_recursion wikiPageRevisionID "602701644".
- Bar_recursion hasPhotoCollection Bar_recursion.
- Bar_recursion subject Category:Recursion.
- Bar_recursion comment "Bar recursion is a generalized form of recursion developed by C. Spector in his 1962 paper. It is related to bar induction in the same fashion that primitive recursion is related to ordinary induction, or transfinite recursion is related to transfinite induction.".
- Bar_recursion label "Bar recursion".
- Bar_recursion sameAs m.0fq18q6.
- Bar_recursion sameAs Q4857993.
- Bar_recursion sameAs Q4857993.
- Bar_recursion wasDerivedFrom Bar_recursion?oldid=602701644.
- Bar_recursion isPrimaryTopicOf Bar_recursion.