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

Alexis Bès; Christian Choffrut

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 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

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

Identifiers

Collections

Citation

Export

Metrics

10

Contact

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

Identifiers

Collections

Citation

Export

Share

Metrics

10

Contact