Login / Signup

Macro Tree Translations of Linear Size Increase are MSO Definable.

Joost EngelfrietSebastian Maneth
Published in: SIAM J. Comput. (2003)
Keyphrases
  • monadic second order logic
  • expressive power
  • tree structure
  • tree automata
  • machine translation
  • binary tree
  • computational complexity
  • first order logic
  • linear systems
  • linear functions
  • maximal cliques