Pages that link to "Item:Q5200070"
From MaRDI portal
The following pages link to Fly-Automata, Their Properties and Applications (Q5200070):
Displaying 4 items.
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Fly-automata for checking \(\mathrm{MSO}_2\) graph properties (Q1752502) (← links)
- Automata for the verification of monadic second-order graph properties (Q1948277) (← links)
- Model-Checking by Infinite Fly-Automata (Q2850017) (← links)