Skip to Main content Skip to Navigation
Journal articles

Decidable Expansions of Labelled Linear Orderings

Abstract : no abstract
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01215406
Contributor : Alexis Bès <>
Submitted on : Wednesday, October 14, 2015 - 10:49:37 AM
Last modification on : Friday, October 4, 2019 - 1:12:53 AM

Identifiers

  • HAL Id : hal-01215406, version 1

Collections

Citation

Alexis Bès, Alexander Rabinovich. Decidable Expansions of Labelled Linear Orderings. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2011, 7 (2:7). ⟨hal-01215406⟩

Share

Metrics

Record views

124