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

Domain :

Mathematics [math] / Logic [math.LO]

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 : Friday, March 27, 2020 - 3:37:42 AM

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

Identifiers

Collections

Citation

Export

Metrics

175

Contact

Informations

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

Identifiers

Collections

Citation

Export

Share

Metrics

175

Contact

Informations