Login / Signup

Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case.

Tomás Masopust
Published in: Fundam. Informaticae (2010)
Keyphrases
  • cellular automata
  • model checking
  • database
  • databases
  • artificial intelligence
  • multiscale
  • context free