Pages that link to "Item:Q5431332"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2003 (Q5431332):
Displayed 4 items.
- Deleting string rewriting systems preserve regularity (Q703575) (← links)
- Termination of string rewriting proved automatically (Q850497) (← links)
- Termination proofs for string rewriting systems via inverse match-bounds (Q851146) (← links)
- Match-bounded string rewriting systems (Q1762560) (← links)