Pages that link to "Item:Q2376981"
From MaRDI portal
The following pages link to Infinitary rewriting: closure operators, equivalences and models (Q2376981):
Displaying 7 items.
- Infinitary rewriting: meta-theory and convergence (Q884993) (← links)
- Projections for infinitary rewriting (Q1744449) (← links)
- Invariants and closures in the theory of rewrite systems (Q1815344) (← links)
- Projections for infinitary rewriting (extended version) (Q2424890) (← links)
- (Q2957694) (← links)
- (Q4600775) (← links)
- Rewrite Closure and CF Hedge Automata (Q4910476) (← links)