Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/1cf245f15e0e5c651a1ab7aa593d81877118a46692a89ba55e65ccc5b5442cf5> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- 1cf245f15e0e5c651a1ab7aa593d81877118a46692a89ba55e65ccc5b5442cf5 chapter "Termination Proofs and Complexity Characterisations".
- 1cf245f15e0e5c651a1ab7aa593d81877118a46692a89ba55e65ccc5b5442cf5 editor "P. Aczel, H. Simmons, S. Wainer".
- 1cf245f15e0e5c651a1ab7aa593d81877118a46692a89ba55e65ccc5b5442cf5 isCitedBy Slow-growing_hierarchy.
- 1cf245f15e0e5c651a1ab7aa593d81877118a46692a89ba55e65ccc5b5442cf5 last "Cichon".
- 1cf245f15e0e5c651a1ab7aa593d81877118a46692a89ba55e65ccc5b5442cf5 pages "173–193".
- 1cf245f15e0e5c651a1ab7aa593d81877118a46692a89ba55e65ccc5b5442cf5 publisher "Cambridge University Press".
- 1cf245f15e0e5c651a1ab7aa593d81877118a46692a89ba55e65ccc5b5442cf5 title "Proof Theory".
- 1cf245f15e0e5c651a1ab7aa593d81877118a46692a89ba55e65ccc5b5442cf5 year "1992".