Pages that link to "Item:Q5432344"
From MaRDI portal
The following pages link to On the Completeness of Context-Sensitive Order-Sorted Specifications (Q5432344):
Displayed 7 items.
- Completeness of context-sensitive rewriting (Q477588) (← links)
- Normal forms and normal theories in conditional rewriting (Q730473) (← links)
- Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications (Q968529) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting (Q2945713) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)