https://hal.archives-ouvertes.fr/hal-01215409 Contributor : Alexis BèsConnect in order to contact the contributor Submitted on : Wednesday, October 14, 2015 - 10:49:40 AM Last modification on : Tuesday, January 25, 2022 - 11:44:06 AM
Alexis Bès. An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2008, 4 (1:8). ⟨hal-01215409⟩