@Article{         Bes,
  Author        = "B{\`e}s, Alexis",
  Abstract      = "We show that a special case of the Feferman-Vaught composition theorem gives rise to a natural notion of automata for finite words over an infinite alphabet, with good closure and decidability properties, as well as several logical characterizations. We also consider a slight extension of the Feferman-Vaught formalism which allows to express more relations between component values (such as equality), and prove related decidability results.",
  date-added    = "2015-04-22 12:10:27 +0000",
  date-modified = "2015-04-23 18:43:38 +0000",
  EPrint        = "0801.2498",
  Journal       = "LMCS",
  Month         = "01",
  Number        = "1",
  Title         = "An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet",
  URL           = "http://arxiv.org/abs/0801.2498",
  Volume        = "4",
  Year          = "2008",
  bdsk-url-1    = "http://arxiv.org/abs/0801.2498",
  File          = "An Application of the Feferman-Vaught Theorem to Automata and Logics for<br> Words over an Infinite Alphabet - Bès (0) (0) - a - a - c.pdf"
}

@Article{ Bes, Author = "B{`e}s, Alexis", Abstract = "We show that a special case of the Feferman-Vaught composition theorem gives rise to a natural notion of automata for finite words over an infinite alphabet, with good closure and decidability properties, as well as several logical characterizations. We also consider a slight extension of the Feferman-Vaught formalism which allows to express more relations between component values (such as equality), and prove related decidability results.", date-added = "2015-04-22 12:10:27 +0000", date-modified = "2015-04-23 18:43:38 +0000", EPrint = "0801.2498", Journal = "LMCS", Month = "01", Number = "1", Title = "An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet", URL = "http://arxiv.org/abs/0801.2498", Volume = "4", Year = "2008", bdsk-url-1 = "http://arxiv.org/abs/0801.2498", File = "An Application of the Feferman-Vaught Theorem to Automata and Logics for
Words over an Infinite Alphabet - Bès (0) (0) - a - a - c.pdf" }