Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉

Alexis Bès; Christian Choffrut

doi:10.3233/FI-2019-1752

Journal articles

Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉

Alexis Bès ¹ Christian Choffrut ²

1 LACL - Laboratoire d'Algorithmique Complexité et Logique

2 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications

Document type :

Journal articles

Domain :

Mathematics [math] / Logic [math.LO]

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02132080
Contributor : Alexis Bès Connect in order to contact the contributor
Submitted on : Thursday, May 16, 2019 - 5:36:16 PM
Last modification on : Friday, November 19, 2021 - 6:06:03 PM

Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉

Identifiers

Collections

Citation

Export

Metrics

34

Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉

Identifiers

Collections

Citation

Export

Share

Metrics

34