The following pages link to Automated Reasoning (Q5307051):
Displaying 5 items.
- Undecidable properties of flat term rewrite systems (Q734041) (← links)
- Invariants and closures in the theory of rewrite systems (Q1815344) (← links)
- Characterizing confluence by rewrite closure and right ground term rewrite systems (Q1885352) (← links)
- Non-linear rewrite closure and weak normalization (Q2351264) (← links)
- Unique Normalization for Shallow TRS (Q3636819) (← links)