Decidable Expansions of Labelled Linear Orderings

Abstract : no abstract
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01215408
Contributor : Alexis Bès <>
Submitted on : Wednesday, October 14, 2015 - 10:49:40 AM
Last modification on : Tuesday, January 1, 2019 - 6:46:02 AM

Links full text

Identifiers

Collections

Citation

Alexis Bès, Alexander Rabinovich. Decidable Expansions of Labelled Linear Orderings. Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, 2010, Unknown, Unknown Region. pp.95--107, ⟨10.1007/978-3-642-15025-8_5⟩. ⟨hal-01215408⟩

Share

Metrics

Record views

63