Pages that link to "Item:Q5501192"

The following pages link to Existential second-order logic over graphs (Q5501192):

Displaying 10 items.

• Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
• Model-checking hierarchical structures (Q414908) (← links)
• Existential monadic second order logic on random rooted trees (Q1618231) (← links)
• A gentle introduction to applications of algorithmic metatheorems for space and circuit classes (Q1736808) (← links)
• Closure properties of locally finite \(\omega\)-languages (Q1885033) (← links)
• On the parameterized complexity of graph modification to first-order logic properties (Q2300624) (← links)
• Learning Tree Languages (Q2963598) (← links)
• Second-Order Logic over Finite Structures – Report on a Research Programme (Q3439520) (← links)
• The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey (Q3586006) (← links)
• DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS (Q5177884) (← links)