Pages that link to "Item:Q1177179"

The following pages link to A regular characterization of graph languages definable in monadic second-order logic (Q1177179):

Displayed 4 items.

• Monadic second-order definable text languages (Q1361884) ‎ (← links)
• Logical description of context-free graph languages (Q1384534) ‎ (← links)
• A comparison of tree transductions defined by monadic second order logic and by attribute grammars (Q1582010) ‎ (← links)
• Arity and alternation in second-order logic (Q1919768) ‎ (← links)