The following pages link to Evaluation is MSOL compatible (Q2963901):
Displaying 5 items.
- Visibly pushdown modular games (Q515657) (← links)
- The evaluation of first-order substitution is monadic second-order compatible (Q1603690) (← links)
- Typing Weak MSOL Properties (Q2949449) (← links)
- Evaluation of an MSO-Solver (Q5233717) (← links)
- A model for behavioural properties of higher-order programs (Q5351960) (← links)