Pages that link to "Item:Q1752502"
From MaRDI portal
The following pages link to Fly-automata for checking \(\mathrm{MSO}_2\) graph properties (Q1752502):
Displaying 6 items.
- Fly-automata for checking monadic second-order properties of graphs of bounded tree-width (Q324700) (← links)
- Automata for the verification of monadic second-order graph properties (Q1948277) (← links)
- Model-Checking by Infinite Fly-Automata (Q2850017) (← links)
- (Q5089253) (← links)
- Fly-Automata, Their Properties and Applications (Q5200070) (← links)
- Computations by fly-automata beyond monadic second-order logic (Q5964015) (← links)