Login / Signup
Input-driven automata on well-nested infinite strings: automata-theoretic and topological properties.
Alexander Okhotin
Victor L. Selivanov
Published in:
CoRR (2020)
Keyphrases
</>
topological properties
automata theoretic
temporal logic
regular languages
regular path queries
structural properties
regular expressions
finite automata
query containment
relational databases
model checking
databases
modal logic
finite state machines