@Article{         Maneth,
  Author        = "Maneth, Sebastian",
  Abstract      = "The decidability of equivalence for three important classes of tree transducers is discussed. Each class can be obtained as a natural restriction of deterministic macro tree transducers (MTTs): (1) no context parameters, i.e., top-down tree transducers, (2) linear size increase, i.e., MSO definable tree transducers, and (3) monadic input and output ranked alphabets. For the full class of MTTs, decidability of equivalence remains a long-standing open problem.",
  date-added    = "2015-02-04 06:28:54 +0000",
  date-modified = "2015-02-04 06:28:54 +0000",
  EPrint        = "1405.5597",
  Month         = "05",
  Title         = "Equivalence Problems for Tree Transducers: A Brief Survey",
  URL           = "http://arxiv.org/abs/1405.5597",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1405.5597",
  File          = "Equivalence Problems for Tree Transducers A Brief Survey - Maneth (0) (0) - a - a - e.pdf"
}

@Article{ Maneth, Author = "Maneth, Sebastian", Abstract = "The decidability of equivalence for three important classes of tree transducers is discussed. Each class can be obtained as a natural restriction of deterministic macro tree transducers (MTTs): (1) no context parameters, i.e., top-down tree transducers, (2) linear size increase, i.e., MSO definable tree transducers, and (3) monadic input and output ranked alphabets. For the full class of MTTs, decidability of equivalence remains a long-standing open problem.", date-added = "2015-02-04 06:28:54 +0000", date-modified = "2015-02-04 06:28:54 +0000", EPrint = "1405.5597", Month = "05", Title = "Equivalence Problems for Tree Transducers: A Brief Survey", URL = "http://arxiv.org/abs/1405.5597", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1405.5597", File = "Equivalence Problems for Tree Transducers A Brief Survey - Maneth (0) (0) - a - a - e.pdf" }