Pages that link to "Item:Q1274984"
From MaRDI portal
The following pages link to Some undecidability results concerning the property of preserving regularity (Q1274984):
Displaying 8 items.
- Deleting string rewriting systems preserve regularity (Q703575) (← links)
- Descendants of a recognizable tree language for sets of linear monadic term rewrite rules (Q845695) (← links)
- Murg term rewrite systems (Q975468) (← links)
- Term rewriting restricted to ground terms. (Q1401322) (← links)
- A property of left-linear rewrite systems preserving recognizability (Q1575563) (← links)
- Regular Gröbner bases (Q1599541) (← links)
- Descendants of a recognizable tree language for prefix constrained linear monadic term rewriting with position cutting strategy (Q1637228) (← links)
- Losing recognizability (Q2373716) (← links)
