Pages that link to "Item:Q1757840"

The following pages link to Operator precedence and the visibly pushdown property (Q1757840):

Displaying 22 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)
• Colored nested words (Q2149962) (← links)
• On the power of pushing or stationary moves for input-driven pushdown automata (Q2164744) (← links)
• Beyond operator-precedence grammars and languages (Q2186819) (← links)
• Operator precedence temporal logic and model checking (Q2215961) (← links)
• Deterministic input-driven queue automata: finite turns, decidability, and closure properties (Q2344746) (← links)
• Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (Q2944566) (← links)
• Tinput-Driven Pushdown Automata (Q2945881) (← links)
• Locally Chain-Parsable Languages (Q2946332) (← links)
• When input-driven pushdown automata meet reversiblity (Q2969982) (← links)
• First-Order Logic Definability of Free Languages (Q3194725) (← links)
• (Q3384888) (← links)
• (Q5016361) (← links)
• Digging input-driven pushdown automata (Q5021110) (← links)
• (Q5101344) (← links)
• Weighted Operator Precedence Languages (Q5111245) (← links)
• On the power of pushing or stationary moves for input-driven pushdown automata (Q6131193) (← links)
• Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages (Q6137830) (← links)
• Antichains algorithms for the inclusion problem between \(\omega\)-VPL (Q6535360) (← links)