Pages that link to "Item:Q1177179"
From MaRDI portal
The following pages link to A regular characterization of graph languages definable in monadic second-order logic (Q1177179):
Displaying 14 items.
- The monadic second-order logic of graphs. IV: Definability properties of equational graphs (Q807611) (← links)
- Regular grammars with truth values in lattice-ordered monoid and their languages (Q816869) (← links)
- The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability (Q1176232) (← links)
- Monadic second-order definable graph transductions: a survey (Q1325847) (← links)
- 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)
- Computability by monadic second-order logic (Q2656341) (← links)
- (Q4205068) (← links)
- (Q4273871) (← links)
- Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second - Order Logic (Q4333462) (← links)
- MSO definable text languages (Q5096900) (← links)
- Tree-Based Generation of Restricted Graph Languages (Q6195089) (← links)
