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):
Displayed 4 items.
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)