https://hal.archives-ouvertes.fr/hal-01215409
Contributeur : Alexis Bès
<>
Soumis le : mercredi 14 octobre 2015 - 10:49:40
Dernière modification le : jeudi 11 janvier 2018 - 06:19:29
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〉
