Login / Signup

An Automata-Theoretic Characterization of the OI-Hierarchy.

Werner DammAndreas Goerdt
Published in: ICALP (1982)
Keyphrases
  • automata theoretic
  • temporal logic
  • regular path queries
  • model checking
  • multi dimensional
  • regular expressions