Pages that link to "Item:Q5891508"
From MaRDI portal
The following pages link to Two-variable logic with two order relations (Q5891508):
Displaying 13 items.
- Decidability issues for two-variable logics with several linear orders (Q2915693) (← links)
- Two-variable logic on data words (Q2946646) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- Two-Variable Logic on 2-Dimensional Structures. (Q2958540) (← links)
- Two-Variable Logic over Countable Linear Orderings (Q4608629) (← links)
- Two-variable Logic with a Between Relation (Q4635866) (← links)
- Order-Invariance of Two-Variable Logic is Decidable (Q4635945) (← links)
- (Q5094127) (← links)
- Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226) (← links)
- (Q5856426) (← links)
- Synthesis of Data Word Transducers (Q5875385) (← links)
- Church synthesis on register automata over linearly ordered data domains (Q6151760) (← links)
- Reasoning on data words over numeric domains (Q6649469) (← links)