Pages that link to "Item:Q5432344"
From MaRDI portal
The following pages link to On the Completeness of Context-Sensitive Order-Sorted Specifications (Q5432344):
Displaying 9 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)
- Checking Sufficient Completeness by Inductive Theorem Proving (Q6487296) (← links)
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)