Login / Signup

NC¹: The Automata-Theoretic Viewpoint.

Pierre McKenziePierre PéladeauDenis Thérien
Published in: Comput. Complex. (1991)
Keyphrases
  • viewpoint
  • automata theoretic
  • temporal logic
  • regular path queries
  • model checking
  • database