Pages that link to "Item:Q710679"
From MaRDI portal
The following pages link to Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679):
Displayed 4 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Transformations of Conditional Rewrite Systems Revisited (Q3184732) (← links)
- Completion after Program Inversion of Injective Functions (Q5170160) (← links)