Pages that link to "Item:Q1706605"
From MaRDI portal
The following pages link to Generalizing input-driven languages: theoretical and practical benefits (Q1706605):
Displaying 7 items.
- Annotated regular expressions and input-driven languages (Q783684) (← links)
- Model-checking structured context-free languages (Q832277) (← links)
- Generalizing input-driven languages: theoretical and practical benefits (Q1706605) (← links)
- Beyond operator-precedence grammars and languages (Q2186819) (← links)
- Operator precedence temporal logic and model checking (Q2215961) (← links)
- (Q3384888) (← links)
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages (Q6137830) (← links)
