Algebraic Characterization of FO for Scattered Linear Orderings

Abstract : no abstract
Type de document :
Communication dans un congrès
Marc Bezem. 25th International Workshop of Computer Science Logic (CSL), part of 20th Annual Conference of the EACSL, 2011, Unknown, Unknown Region. Schloss Dagstuhl―Leibniz-Zentrum fuer Informatik, 12, pp.67--81, 2011, Leibniz International Proceedings in Informatics (LIPIcs). 〈10.4230/LIPIcs.CSL.2011.67〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01215407
Contributeur : Alexis Bès <>
Soumis le : mercredi 14 octobre 2015 - 10:49:38
Dernière modification le : jeudi 15 novembre 2018 - 20:26:56

Identifiants

Collections

Citation

Alexis Bès, Olivier Carton. Algebraic Characterization of FO for Scattered Linear Orderings. Marc Bezem. 25th International Workshop of Computer Science Logic (CSL), part of 20th Annual Conference of the EACSL, 2011, Unknown, Unknown Region. Schloss Dagstuhl―Leibniz-Zentrum fuer Informatik, 12, pp.67--81, 2011, Leibniz International Proceedings in Informatics (LIPIcs). 〈10.4230/LIPIcs.CSL.2011.67〉. 〈hal-01215407〉

Partager

Métriques

Consultations de la notice

76