DECIDING DEFINABILITY IN FO 2 (< v , < h ) ON TREES
Résumé
We provide a decidable characterization of regular forest languages definable in FO 2 (
Domaines
Informatique et langage [cs.CL]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...
Luc Segoufin : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01223373
Soumis le : lundi 2 novembre 2015-15:24:40
Dernière modification le : vendredi 24 mars 2023-14:53:01
Archivage à long terme le : mercredi 3 février 2016-10:52:34
Citer
Thomas Place, Luc Segoufin. DECIDING DEFINABILITY IN FO 2 (< v , < h ) ON TREES. Logical Methods in Computer Science, 2015, 11 (3), ⟨10.2168/LMCS-11(3:5)2015⟩. ⟨hal-01223373⟩
102
Consultations
84
Téléchargements