Pages that link to "Item:Q4637695"
From MaRDI portal
The following pages link to Monadic Second Order Logic with Measure and Category Quantifiers (Q4637695):
Displaying 9 items.
- On measure quantifiers in first-order arithmetic (Q2117748) (← links)
- On second-order monadic monoidal and groupoidal quantifiers (Q2786142) (← links)
- Monadic Second-Order Logic with Arbitrary Monadic Predicates (Q2922023) (← links)
- Expressing cardinality quantifiers in monadic second-order logic over chains (Q3011122) (← links)
- Quantitative Monadic Second-Order Logic (Q5271046) (← links)
- Polishness of some topologies related to word or tree automata (Q5376660) (← links)
- Two Effective Properties of ω-Rational Functions (Q6169907) (← links)
- Towards logical foundations for probabilistic computation (Q6560995) (← links)
- Curry and Howard meet Borel (Q6649480) (← links)