Pages that link to "Item:Q2944566"
From MaRDI portal
The following pages link to Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (Q2944566):
Displaying 17 items.
- Toward a theory of input-driven locally parsable languages (Q728273) (← links)
- Model-checking structured context-free languages (Q832277) (← links)
- Generalizing input-driven languages: theoretical and practical benefits (Q1706605) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- Weighted automata (Q2074206) (← links)
- Beyond operator-precedence grammars and languages (Q2186819) (← links)
- Operator precedence temporal logic and model checking (Q2215961) (← links)
- Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata (Q2817405) (← links)
- Locally Chain-Parsable Languages (Q2946332) (← links)
- (Q3384888) (← links)
- (Q5016361) (← links)
- (Q5101344) (← links)
- Weighted Operator Precedence Languages (Q5111245) (← links)
- Some properties of precedence languages (Q5402517) (← links)
- Verification of programs with exceptions through operator precedence automata (Q6045058) (← links)
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages (Q6137830) (← links)
- Temporal logics with language parameters (Q6186316) (← links)