Algebraic Characterization of FO for Scattered Linear Orderings
Résumé
no abstract
Communication Dans Un Congrès
Année : 2011
Alexis Bès : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01215407
Soumis le : mercredi 14 octobre 2015-10:49:38
Dernière modification le : lundi 22 avril 2024-17:27:12
Citer
Alexis Bès, Olivier Carton. Algebraic Characterization of FO for Scattered Linear Orderings. 25th International Workshop of Computer Science Logic (CSL), part of 20th Annual Conference of the EACSL, 2011, Unknown, Unknown Region. pp.67--81, ⟨10.4230/LIPIcs.CSL.2011.67⟩. ⟨hal-01215407⟩
Collections
60
Consultations
0
Téléchargements