Pages that link to "Item:Q1891136"
From MaRDI portal
The following pages link to Decidability of regularity and related properties of ground normal form languages (Q1891136):
Displaying 8 items.
- Test sets for the universal and existential closure of regular tree languages. (Q1400712) (← links)
- Recognizable tree-languages and nonlinear morphisms (Q1603692) (← links)
- On decidability of theories of regular languages (Q2043872) (← links)
- (Q4016380) (← links)
- (Q4474010) (← links)
- Classes of Tree Homomorphisms with Decidable Preservation of Regularity (Q5458355) (← links)
- Decidability of regularity and related properties of ground normal form languages (Q5881191) (← links)
- The HOM Problem is EXPTIME-Complete (Q5895159) (← links)