Pages that link to "Item:Q5940917"
From MaRDI portal
The following pages link to An ordinal measure based procedure for termination of functions (Q5940917):
Displaying 4 items.
- Ordinal one-switch utility functions (Q2797461) (← links)
- 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)