Decidable Expansions of Labelled Linear Orderings

Abstract : no abstract
Type de document :
Article dans une revue
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2011, 7 (2:7)
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01215406
Contributeur : Alexis Bès <>
Soumis le : mercredi 14 octobre 2015 - 10:49:37
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

66