Pages that link to "Item:Q672232"
From MaRDI portal
The following pages link to Transformations and confluence for rewrite systems (Q672232):
Displaying 6 items.
- Implementing first-order rewriting with constructor systems (Q1112601) (← links)
- Remarks on Thatte's transformation of term rewriting systems (Q1763376) (← links)
- Pushing the frontiers of combining rewrite systems farther outwards (Q2782485) (← links)
- (Q4010356) (← links)
- (Q5277883) (← links)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)