DECIDING DEFINABILITY IN FO 2 (< v , < h ) ON TREES

Thomas Place 1 Luc Segoufin 2
2 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : We provide a decidable characterization of regular forest languages definable in FO 2 (
Type de document :
Article dans une revue
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 11 (3), 〈10.2168/LMCS-11(3:5)2015〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01223373
Contributeur : Luc Segoufin <>
Soumis le : lundi 2 novembre 2015 - 15:24:40
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : mercredi 3 février 2016 - 10:52:34

Fichier

fodeux-char.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Thomas Place, Luc Segoufin. DECIDING DEFINABILITY IN FO 2 (< v , < h ) ON TREES. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 11 (3), 〈10.2168/LMCS-11(3:5)2015〉. 〈hal-01223373〉

Partager

Métriques

Consultations de la notice

148

Téléchargements de fichiers

65