Algebraic Characterization of FO for Scattered Linear Orderings - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Algebraic Characterization of FO for Scattered Linear Orderings

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01215407 , version 1 (14-10-2015)

Identifiants

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⟩
55 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More