Pages that link to "Item:Q4635866"
From MaRDI portal
The following pages link to Two-variable Logic with a Between Relation (Q4635866):
Displaying 6 items.
- Two-variable first order logic with modular predicates over words (Q2957895) (← links)
- (Q5079753) (← links)
- One-Dimensional Logic over Trees (Q5111281) (← links)
- (Q5129940) (← links)
- Reversible Regular Languages: Logical and Algebraic Characterisations (Q5158652) (← links)
- Unary and two-variable interval logics (Q6601763) (← links)