Pages that link to "Item:Q2904801"
From MaRDI portal
The following pages link to Weak \(\text{MSO}+U\) over infinite trees (Q2904801):
Displaying 15 items.
- Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints (Q269503) (← links)
- Weak MSO with the unbounding quantifier (Q537919) (← links)
- Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints (Q2411048) (← links)
- Parameterized linear temporal logics meet costs: still not costlier than LTL (Q2413483) (← links)
- Contribution of Warsaw logicians to computational logic (Q2422533) (← links)
- The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic (Q2672657) (← links)
- Undecidable first-order theories of affine geometries (Q2871479) (← links)
- Asymptotic Monadic Second-Order Logic (Q2922005) (← links)
- Delay Games with WMSO+U Winning Conditions (Q2953690) (← links)
- Satisfiability of ECTL* with Tree Constraints (Q3194710) (← links)
- Delay Games with WMSO$$+$$U Winning Conditions (Q3194731) (← links)
- Recursion Schemes and the WMSO+U Logic (Q3304152) (← links)
- On a Fragment of AMSO and Tiling Systems (Q4601871) (← links)
- (Q5013884) (← links)
- Computer Science Logic (Q5311284) (← links)
