Pages that link to "Item:Q5055834"
From MaRDI portal
The following pages link to Towards a domain theory for termination proofs (Q5055834):
Displaying 7 items.
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- The variable containment problem (Q4645807) (← links)
- Higher-order superposition for dependent types (Q5055856) (← links)
- Higher-order narrowing with convergent systems (Q5096386) (← links)
- The practice of logical frameworks (Q5878905) (← links)
- Higher-order proof by consistency (Q6567778) (← links)
