Pages that link to "Item:Q3585001"
From MaRDI portal
The following pages link to On Monadic Second-Order Theories of Multidominance Structures (Q3585001):
Displaying 5 items.
- A unification algorithm for second-order monadic terms (Q1109019) (← links)
- wMSO theories as grammar formalisms (Q1870569) (← links)
- Fusion in relational structures and the verification of monadic second-order properties (Q3146251) (← links)
- Second‐order cybernetics, architectural drawing and monadic thinking (Q3639453) (← links)
- (Q3787992) (← links)