Pages that link to "Item:Q671992"
From MaRDI portal
The following pages link to The monadic second-order logic of graphs. IX: Machines and their behaviours (Q671992):
Displaying 10 items.
- Regular sets over extended tree structures (Q764339) (← links)
- Monadic second-order logic, graph coverings and unfoldings of transition systems (Q1295371) (← links)
- The evaluation of first-order substitution is monadic second-order compatible (Q1603690) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence (Q2301358) (← links)
- The modular decomposition of countable graphs. Definition and construction in monadic second-order logic (Q2481975) (← links)
- (Q2842873) (← links)
- Simple monadic theories and partition width (Q3170562) (← links)
- On deeply critical oriented cliques (Q6047971) (← links)
- Unfoldings and Coverings of Weighted Graphs (Q6094515) (← links)