Pages that link to "Item:Q2947878"
From MaRDI portal
The following pages link to A Note on Decidable Separability by Piecewise Testable Languages (Q2947878):
Displaying 13 items.
- A complete refinement procedure for regular separability of context-free languages (Q264992) (← links)
- Separability by piecewise testable languages is \textsc{PTime}-complete (Q1698734) (← links)
- On Boolean combinations forming piecewise testable languages (Q2358689) (← links)
- Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages (Q2697538) (← links)
- On separation by locally testable and locally threshold testable languages (Q2921121) (← links)
- Recursion Schemes and the WMSO+U Logic (Q3304152) (← links)
- (Q4968382) (← links)
- (Q5076057) (← links)
- (Q5109508) (← links)
- The Complexity of the Diagonal Problem for Recursion Schemes (Q5136337) (← links)
- Separability by piecewise testable languages and downward closures beyond subwords (Q5145372) (← links)
- (Q5376657) (← links)
- Cost Automata, Safe Schemes, and Downward Closures (Q6044492) (← links)