@Article{         BojanczykPilipczuk,
  Author        = "Boja{\'n}czyk, Miko{{\l}}aj and Pilipczuk, Micha{{\l}}",
  Abstract      = "We prove a conjecture of Courcelle, which states that a graph property is definable in MSO with modular counting predicates on graphs of constant treewidth if, and only if it is recognizable in the following sense: constant-width tree decompositions of graphs satisfying the property can be recognized by tree automata. While the forward implication is a classic fact known as Courcelle's theorem, the converse direction remained open",
  date-added    = "2016-05-20 15:16:58 +0000",
  date-modified = "2016-05-20 15:16:58 +0000",
  EPrint        = "1605.03045",
  Month         = "05",
  Title         = "Definability equals recognizability for graphs of bounded treewidth",
  URL           = "http://arxiv.org/abs/1605.03045",
  Year          = "2016",
  bdsk-url-1    = "http://arxiv.org/abs/1605.03045",
  File          = "Definability equals recognizability for graphs of bounded treewidth - Bojańczyk, Pilipczuk (0) (0) - a - a - d.pdf",
  file-2        = "Definability equals recognizability for graphs of bounded treewidth - Bojańczyk, Pilipczuk (0) (0) - a - a - d.swf"
}

@Article{ BojanczykPilipczuk, Author = "Boja{\'n}czyk, Miko{{\l}}aj and Pilipczuk, Micha{{\l}}", Abstract = "We prove a conjecture of Courcelle, which states that a graph property is definable in MSO with modular counting predicates on graphs of constant treewidth if, and only if it is recognizable in the following sense: constant-width tree decompositions of graphs satisfying the property can be recognized by tree automata. While the forward implication is a classic fact known as Courcelle's theorem, the converse direction remained open", date-added = "2016-05-20 15:16:58 +0000", date-modified = "2016-05-20 15:16:58 +0000", EPrint = "1605.03045", Month = "05", Title = "Definability equals recognizability for graphs of bounded treewidth", URL = "http://arxiv.org/abs/1605.03045", Year = "2016", bdsk-url-1 = "http://arxiv.org/abs/1605.03045", File = "Definability equals recognizability for graphs of bounded treewidth - Bojańczyk, Pilipczuk (0) (0) - a - a - d.pdf", file-2 = "Definability equals recognizability for graphs of bounded treewidth - Bojańczyk, Pilipczuk (0) (0) - a - a - d.swf" }