Pages that link to "Item:Q2922023"
From MaRDI portal
The following pages link to Monadic Second-Order Logic with Arbitrary Monadic Predicates (Q2922023):
Displaying 16 items.
- Subshifts as models for MSO logic (Q384929) (← links)
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- A unification algorithm for second-order monadic terms (Q1109019) (← links)
- Monadic second-order logic on tree-like structures (Q1606130) (← links)
- Computability by monadic second-order logic (Q2656341) (← links)
- Asymptotic Monadic Second-Order Logic (Q2922005) (← links)
- Monadic Second-Order Logic with Arbitrary Monadic Predicates (Q2922023) (← links)
- Synthesizing Monadic Predicates (Q3549312) (← links)
- (Q4474837) (← links)
- Monadic Second Order Logic with Measure and Category Quantifiers (Q4637695) (← links)
- Monadic Decomposition (Q4640286) (← links)
- (Q4993769) (← links)
- Quantitative Monadic Second-Order Logic (Q5271046) (← links)
- (Q5369243) (redirect page) (← links)
- Monadic second-order logic on finite sequences (Q5370858) (← links)
- On the completeness and the decidability of strictly monadic second‐order logic (Q6047662) (← links)