Pages that link to "Item:Q5370858"
From MaRDI portal
The following pages link to Monadic second-order logic on finite sequences (Q5370858):
Displaying 9 items.
- Natural projection as partial model checking (Q2208303) (← links)
- Asymptotic Monadic Second-Order Logic (Q2922005) (← links)
- Monadic Second-Order Logic with Arbitrary Monadic Predicates (Q2922023) (← links)
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata (Q3303912) (← links)
- (Q3787992) (← links)
- (Q4474837) (← links)
- Bisimulation Invariant Monadic-Second Order Logic in the Finite (Q5002802) (← links)
- Monadic translation of classical sequent calculus (Q5410235) (← links)
- Reasoning About Data Trees Using CHCs (Q6487339) (← links)