Pages that link to "Item:Q5738190"
From MaRDI portal
The following pages link to A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS (Q5738190):
Displaying 10 items.
- On the expressive power of temporal logic for infinite words (Q805240) (← links)
- Logical laws for existential monadic second-order sentences with infinite first-order parts (Q1707156) (← links)
- Logic, semigroups and automata on words (Q1817074) (← links)
- The monadic theory of morphic infinite words and generalizations (Q1854542) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- The monadic theory of finite representations of infinite words (Q2379951) (← links)
- Monadic second order logic as the model companion of temporal logic (Q4635899) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)