Login / Signup

The Size-Cost of Boolean Operations on Constant Height Deterministic Pushdown Automata.

Zuzana BednárováViliam GeffertCarlo MereghettiBeatrice Palano
Published in: DCFS (2011)
Keyphrases
  • boolean operations
  • finite state automaton
  • cellular automata
  • finite state
  • turing machine
  • model checking
  • search engine