Matches in UGent Biblio for { ?s ?p This article provides a detailed comparison between two systems of collapsing functions. These functions play a crucial role in proof theory, in the analysis of patterns of resemblance, and the analysis of maximal order types of well partial orders. The exact correspondence given here serves as a starting point for far reaching extensions of current results on patterns and well partial orders. (C) 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. }
Showing items 1 to 1 of
1
with 100 items per page.
- aggregation abstract "This article provides a detailed comparison between two systems of collapsing functions. These functions play a crucial role in proof theory, in the analysis of patterns of resemblance, and the analysis of maximal order types of well partial orders. The exact correspondence given here serves as a starting point for far reaching extensions of current results on patterns and well partial orders. (C) 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim".