Pages that link to "Item:Q5463973"
From MaRDI portal
The following pages link to Implementation and Application of Automata (Q5463973):
Displaying 5 items.
- Termination of string rewriting proved automatically (Q850497) (← links)
- On tree automata that certify termination of left-linear term rewriting systems (Q876043) (← links)
- Match-bounded string rewriting systems (Q1762560) (← links)
- Weighted automata for proving termination of string rewriting (Q3515227) (← links)
- Term Rewriting and Applications (Q5703861) (← links)