Register Automata with Extrema Constraints, and an Application to Two-Variable Logic.
Szymon TorunczykThomas ZeumePublished in: LICS (2020)
Keyphrases
- automata theoretic
- constraint programming
- scale space
- regular expressions
- tree automata
- np complete
- cellular automata
- logic programming
- modal logic
- multi valued
- constraint language
- temporal logic
- geometric constraints
- finite state machines
- linear constraints
- classical logic
- finite state automaton
- derivation rules
- multi agent systems