Login / Signup

Weighted Automata and Monadic Second Order Logic.

Nadia LabaiJohann A. Makowsky
Published in: GandALF (2013)
Keyphrases
  • tree automata
  • monadic second order logic
  • regular expressions
  • finite state
  • finite automata
  • cellular automata
  • finite state machines
  • knowledge base
  • metadata
  • high level
  • low level