Pages that link to "Item:Q1589437"
From MaRDI portal
The following pages link to Restricted ground tree transducers (Q1589437):
Displaying 4 items.
- Symbol different term rewrite systems (Q492918) (← 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)
