Pages that link to "Item:Q2956715"
From MaRDI portal
The following pages link to Order-sorted termination: The unsorted way (Q2956715):
Displaying 5 items.
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Methods for Proving Termination of Rewriting-based Programming Languages by Transformation (Q2808239) (← links)
- MTT: The Maude Termination Tool (System Description) (Q3541712) (← links)
- mu-term: Verify Termination Properties Automatically (System Description) (Q5049021) (← links)
- Operational Termination of Membership Equational Programs: the Order-Sorted Way (Q5179140) (← links)
