Pages that link to "Item:Q5878910"
From MaRDI portal
The following pages link to Termination by absence of infinite chains of dependency pairs (Q5878910):
Displaying 5 items.
- Termination of term rewriting using dependency pairs (Q1978641) (← links)
- Formalization of the computational theory of a Turing complete functional language model (Q2102949) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Termination of constructor systems (Q5055852) (← links)
- (Q5094148) (← links)
