Pages that link to "Item:Q5940917"

The following pages link to An ordinal measure based procedure for termination of functions (Q5940917):

Displaying 3 items.

• AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS (Q3021959) (← links)
• Size-based termination of higher-order rewriting (Q4577817) (← links)
• On automating the extraction of programs from proofs using product types (Q4916212) (← links)