Pages that link to "Item:Q2767003"
From MaRDI portal
The following pages link to Graph operations and monadic second-order logic: A survey (Q2767003):
Displaying 10 items.
- The monadic second-order logic of graphs. IX: Machines and their behaviours (Q671992) (← links)
- The monadic second-order logic of graphs. VII: Graphs as relational structures (Q1193407) (← links)
- Nondeterministic operations on finite relational structures (Q1276248) (← links)
- Monadic second-order logic, graph coverings and unfoldings of transition systems (Q1295371) (← links)
- Existential monadic second order logic on random rooted trees (Q1618231) (← links)
- Graph structure and monadic second-order logic. A language-theoretic approach (Q3077955) (← links)
- Matrix Partitions with Finitely Many Obstructions (Q3439607) (← links)
- (Q4273871) (← links)
- GETGRATS (Q4923529) (← links)
- Finite bases for flat graph algebras (Q5956274) (← links)