Pages that link to "Item:Q4933309"

The following pages link to On the Satisfiability of Two-Variable Logic over Data Words (Q4933309):

Displayed 3 items.

• Small substructures and decidability issues for first-order logic with two variables (Q2915891) ‎ (← links)
• An Automaton over Data Words That Captures EMSO Logic (Q3090829) ‎ (← links)
• Extending two-variable logic on data trees with order on data values and its automata (Q5410335) ‎ (← links)