The following pages link to (Q4263079):
Displaying 4 items.
- Querying linguistic treebanks with monadic second-order logic in linear time (Q1770837) (← links)
- wMSO theories as grammar formalisms (Q1870569) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5918382) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5919501) (← links)