Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0168-0072(91)90022-e> ?p ?o }
Showing triples 1 to 20 of
20
with 100 triples per page.
- 0168-0072(91)90022-e doi "10.1016/0168-007290022-E".
- 0168-0072(91)90022-e first "Jean H.".
- 0168-0072(91)90022-e isCitedBy Fast-growing_hierarchy.
- 0168-0072(91)90022-e isCitedBy Hardy_hierarchy.
- 0168-0072(91)90022-e isCitedBy Kruskals_tree_theorem.
- 0168-0072(91)90022-e isCitedBy Slow-growing_hierarchy.
- 0168-0072(91)90022-e isCitedBy Well-quasi-ordering.
- 0168-0072(91)90022-e issue "3".
- 0168-0072(91)90022-e journal "Ann. Pure Appl. Logic".
- 0168-0072(91)90022-e journal "Annals of Pure and Applied Logic".
- 0168-0072(91)90022-e last "Gallier".
- 0168-0072(91)90022-e mr "1129778".
- 0168-0072(91)90022-e pages "199–260".
- 0168-0072(91)90022-e title "What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory".
- 0168-0072(91)90022-e title "What's so special about Kruskal's theorem and the ordinal Γo? A survey of some results in proof theory".
- 0168-0072(91)90022-e url "http://stinet.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA290387".
- 0168-0072(91)90022-e url "http://www.cis.upenn.edu/~jean/kruskal.pdf".
- 0168-0072(91)90022-e url "https://www.cis.upenn.edu/~jean/kruskal.pdf".
- 0168-0072(91)90022-e volume "53".
- 0168-0072(91)90022-e year "1991".