Pages that link to "Item:Q3447691"

The following pages link to Complexity Bounds for Ordinal-Based Termination (Q3447691):

Displaying 2 items.

• The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146) (← links)
• Size-based termination of higher-order rewriting (Q4577817) (← links)