An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet

Abstract : no abstract
Type de document :
Article dans une revue
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2008, 4 (1:8)
Liste complète des métadonnées

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

Identifiants

  • HAL Id : hal-01215409, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

63