Pages that link to "Item:Q1111368"
From MaRDI portal
The following pages link to Conditional rewrite rules: Confluence and termination (Q1111368):
Displaying 9 items.
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
- Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems (Q5240131) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
- Confluence of terminating membership conditional TRS (Q5881201) (← links)
- Extended term rewriting systems (Q5881265) (← links)
- Confluence of the disjoint union of conditional term rewriting systems (Q5881285) (← links)
- Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem (Q5941196) (← links)
- Implementing conditional term rewriting by graph rewriting (Q5958126) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)