Pages that link to "Item:Q844184"
From MaRDI portal
The following pages link to Termination of \(\{aa\rightarrow bc,bb\rightarrow ac,cc\rightarrow ab\}\) (Q844184):
Displaying 6 items.
- SAT modulo linear arithmetic for solving polynomial constraints (Q438576) (← links)
- Matrix interpretations for proving termination of term rewriting (Q928655) (← links)
- On a method for proving exact bounds on derivational complexity in Thue systems (Q1938620) (← links)
- Termination of Cycle Rewriting by Transformation and Matrix Interpretation (Q2980975) (← links)
- Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian (Q4992044) (← links)
- On Subquadratic Derivational Complexity of Semi-Thue Systems (Q5042260) (← links)
