The following pages link to Two-variable logic on data words (Q2946646):
Displayed 5 items.
- Set augmented finite automata over infinite alphabets (Q6067325) (← links)
- Coverability in 2-VASS with one unary counter is in NP (Q6091190) (← links)
- Active learning for deterministic bottom-up nominal tree automata (Q6109488) (← links)
- Realizability problem for constraint LTL (Q6178458) (← links)
- (Q6191001) (← links)