Login / Signup
NC¹: The Automata-Theoretic Viewpoint.
Pierre McKenzie
Pierre Péladeau
Denis Thérien
Published in:
Comput. Complex. (1991)
Keyphrases
</>
viewpoint
automata theoretic
temporal logic
regular path queries
model checking
database