Pages that link to "Item:Q2043872"
From MaRDI portal
The following pages link to On decidability of theories of regular languages (Q2043872):
Displaying 10 items.
- From decidability to undecidability by considering regular sets of instances (Q2062120) (← links)
- (Q2754186) (← links)
- (Q2762531) (← links)
- Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory (Q3773843) (← links)
- Decision Problems and Applications of Rational Sets of Regular Languages (Q4686531) (← links)
- (Q4818834) (← links)
- (Q5013886) (← links)
- On Notions of Regularity for Data Languages (Q5444950) (← links)
- Regular Realizability Problems and Context-Free Languages (Q5500698) (← links)
- On undecidability of subset theories of some unars (Q6575359) (← links)