The following pages link to Colored Nested Words (Q2798716):
Displaying 7 items.
- Generalizing input-driven languages: theoretical and practical benefits (Q1706605) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- Colored nested words (Q2149962) (← links)
- Operator precedence temporal logic and model checking (Q2215961) (← links)
- (Q5101344) (← links)
- Weighted Operator Precedence Languages (Q5111245) (← links)
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages (Q6137830) (← links)