Decidable Expansions of Labelled Linear Orderings

Abstract : no abstract
Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01215406
Contributor : Alexis Bès <>
Submitted on : Wednesday, October 14, 2015 - 10:49:37 AM
Last modification on : Tuesday, January 1, 2019 - 6:46:02 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

76