Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉 - Archive ouverte HAL
Article Dans Une Revue Fundamenta Informaticae Année : 2019

Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉

Domaines

Logique [math.LO]

Alexis Bès  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02132080

Soumis le : jeudi 16 mai 2019-17:36:16

Dernière modification le : vendredi 27 décembre 2024-19:55:49

Fichier non déposé

Dates et versions

hal-02132080 , version 1 (16-05-2019)

Identifiants

Citer

Alexis Bès, Christian Choffrut. Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉. Fundamenta Informaticae, 2019, 164 (1), pp.1-15. ⟨10.3233/FI-2019-1752⟩. ⟨hal-02132080⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS LACL UPEC USPC
46 Consultations
0 Téléchargements

Altmetric

Partager

More