@Article{         Bojanczyk:2017aa,
  Author        = "Boja{\'n}czyk, Miko{{\l}}aj",
  Abstract      = "The following problem is shown undecidable: given regular languages L,K of finite trees, decide if there exists a deterministic tree-walking automaton which accepts all trees in L and rejects all trees in K. The proof uses a technique of Kopczy\'nski from LICS 2016.",
  date-added    = "2017-04-03 17:59:06 +0000",
  date-modified = "2017-04-03 17:59:06 +0000",
  EPrint        = "1703.04997",
  Month         = "03",
  Title         = "It is undecidable if two regular tree languages can be separated by a deterministic tree-walking automaton",
  URL           = "https://arxiv.org/abs/1703.04997",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1703.04997",
  File          = "1703.04997 (0) - a - a - r.pdf"
}

@Article{ Bojanczyk:2017aa, Author = "Boja{\'n}czyk, Miko{{\l}}aj", Abstract = "The following problem is shown undecidable: given regular languages L,K of finite trees, decide if there exists a deterministic tree-walking automaton which accepts all trees in L and rejects all trees in K. The proof uses a technique of Kopczy\'nski from LICS 2016.", date-added = "2017-04-03 17:59:06 +0000", date-modified = "2017-04-03 17:59:06 +0000", EPrint = "1703.04997", Month = "03", Title = "It is undecidable if two regular tree languages can be separated by a deterministic tree-walking automaton", URL = "https://arxiv.org/abs/1703.04997", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1703.04997", File = "1703.04997 (0) - a - a - r.pdf" }