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

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02132080
Contributor : Alexis Bès <>
Submitted on : Thursday, May 16, 2019 - 5:36:16 PM
Last modification on : Saturday, May 18, 2019 - 1:17:35 AM

Identifiers

Collections

Citation

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

Share

Metrics

Record views

10