Decidable Expansions of Labelled Linear Orderings - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Decidable Expansions of Labelled Linear Orderings

Résumé

no abstract

Dates et versions

hal-01215408 , version 1 (14-10-2015)

Identifiants

Citer

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⟩

Collections

CNRS LACL UPEC
40 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More