Decidable Expansions of Labelled Linear Orderings
Résumé
no abstract
Communication Dans Un Congrès
Année : 2010
Alexis Bès : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01215408
Soumis le : mercredi 14 octobre 2015-10:49:40
Dernière modification le : vendredi 27 décembre 2024-19:53:51
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⟩
45
Consultations
0
Téléchargements