Pages that link to "Item:Q5941203"
From MaRDI portal
The following pages link to On interreduction of semi-complete term rewriting systems (Q5941203):
Displaying 6 items.
- On sufficient-completeness and related properties of term rewriting systems (Q1077161) (← links)
- Decidability of reachability for disjoint union of term rewriting systems (Q1325846) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems (Q1707978) (← links)
- (Q3347284) (← links)
- Infinite runs in abstract completion (Q5111315) (← links)