Pages that link to "Item:Q4917997"
From MaRDI portal
The following pages link to Monadic Second-Order Logic and Transitive Closure Logics over Trees (Q4917997):
Displaying 8 items.
- Inessential features, ineliminable features, and modal logics for model theoretic syntax (Q1006492) (← links)
- Monadic second-order logic, graph coverings and unfoldings of transition systems (Q1295371) (← links)
- Monadic second-order logic on tree-like structures (Q1606130) (← links)
- Existential monadic second order logic on random rooted trees (Q1618231) (← links)
- Querying linguistic treebanks with monadic second-order logic in linear time (Q1770837) (← links)
- Querying linguistic trees (Q2268350) (← links)
- Branch-width, parse trees, and monadic second-order logic for matroids. (Q2490835) (← links)
- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees (Q3605529) (← links)