Pages that link to "Item:Q1575250"
From MaRDI portal
The following pages link to Congruential complements of ground term rewrite systems (Q1575250):
Displaying 7 items.
- CHAP and rewrite components (Q766175) (← links)
- Deterministic bottom-up tree transducers and ground term rewrite systems (Q1019744) (← links)
- Intersection of finitely generated congruences over term algebra (Q1399965) (← links)
- Term rewriting restricted to ground terms. (Q1401322) (← links)
- On ground tree transformations and congruences induced by tree automata. (Q1401416) (← links)
- Restricted ground tree transducers (Q1589437) (← links)
- Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems (Q1707978) (← links)
