Login / Signup

Forcing MSO on Infinite Words in Weak MSO.

Colin Riba
Published in: LICS (2013)
Keyphrases
  • finite state
  • regular expressions
  • n gram
  • finite state transducers
  • tree automata
  • keywords
  • word sense disambiguation