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

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

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⟩
41 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More