Pages that link to "Item:Q5179140"
From MaRDI portal
The following pages link to Operational Termination of Membership Equational Programs: the Order-Sorted Way (Q5179140):
Displaying 4 items.
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
