HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Algebraic Characterization of FO for Scattered Linear Orderings

Abstract : no abstract
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01215407
Contributor : Alexis Bès Connect in order to contact the contributor
Submitted on : Wednesday, October 14, 2015 - 10:49:38 AM
Last modification on : Friday, November 19, 2021 - 6:06:03 PM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

51