On countable chains having decidable monadic theory

Alexis Bès 1 Alexander Rabinovich 2
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 TAU-CS - School of Computer Science
Abstract : no abstract
Type de document :
Article dans une revue
J. Symb. Log., 2012, 77 (2), pp.593-608
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01215405
Contributeur : Alexis Bès <>
Soumis le : mercredi 14 octobre 2015 - 10:49:36
Dernière modification le : mardi 1 janvier 2019 - 06:46:02

Identifiants

  • HAL Id : hal-01215405, version 1

Collections

LACL | INSMI | UPEC-UPEM

Citation

Alexis Bès, Alexander Rabinovich. On countable chains having decidable monadic theory. J. Symb. Log., 2012, 77 (2), pp.593-608. 〈hal-01215405〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

88

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD