Pages that link to "Item:Q1346629"
From MaRDI portal
The following pages link to Automatizing termination proofs of recursively defined functions (Q1346629):
Displayed 5 items.
- AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS (Q3021959) (← links)
- Automating inversion of inductive predicates in Coq (Q4647573) (← links)
- On automating the extraction of programs from proofs using product types (Q4916212) (← links)
- An ordinal measure based procedure for termination of functions (Q5940917) (← links)
- A user's friendly syntax to define recursive functions as typed λ-terms (Q6061875) (← links)