Pages that link to "Item:Q3618564"

The following pages link to Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications (Q3618564):

Displaying 15 items.

• The monadic second-order logic of graphs. IX: Machines and their behaviours (Q671992) (← links)
• A regular characterization of graph languages definable in monadic second-order logic (Q1177179) (← links)
• The monadic second-order logic of graphs. VII: Graphs as relational structures (Q1193407) (← links)
• Branch-width, parse trees, and monadic second-order logic for matroids. (Q2490835) (← links)
• The monadic quantifier alternation hierarchy over grids and graphs (Q2506497) (← links)
• Graph operations and monadic second-order logic: A survey (Q2767003) (← links)
• Graph structure and monadic second-order logic. A language-theoretic approach (Q3077955) (← links)
• Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects (Q3521904) (← links)
• (Q4205068) (← links)
• Logic and graphs (Q4222789) (← links)
• (Q4241260) (← links)
• (Q4273871) (← links)
• Prefix-Recognizable Graphs and Monadic Logic (Q4412838) (← links)
• The monadic second-order logic of graphs XVI : Canonical graph decompositions (Q5310655) (← links)
• On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic (Q5928867) (← links)