Pages that link to "Item:Q5145372"
From MaRDI portal
The following pages link to Separability by piecewise testable languages and downward closures beyond subwords (Q5145372):
Displaying 5 items.
- Separability by piecewise testable languages is \textsc{PTime}-complete (Q1698734) (← links)
- On separation by locally testable and locally threshold testable languages (Q2921121) (← links)
- A Note on Decidable Separability by Piecewise Testable Languages (Q2947878) (← links)
- (Q5376657) (← links)
- Existential Definability over the Subword Ordering (Q6178718) (← links)