The following pages link to (Q5377226):
Displaying 7 items.
- Some decisional problems on rational relations (Q1390853) (← links)
- Decision problems for subclasses of rational relations over finite and infinite words (Q1679989) (← links)
- Regular model checking with regular relations (Q2140498) (← links)
- A note on the decidability of subword inequalities (Q2856016) (← links)
- Decision Problems and Applications of Rational Sets of Regular Languages (Q4686531) (← links)
- (Q5091265) (← links)
- Ramsey quantifiers over automatic structures: complexity and applications to verification (Q6649458) (← links)