par Le Roux, Stephane ;Pauly, Arno
Référence Logical methods in computer science, 11, 4
Publication Publié, 2015-12
Référence Logical methods in computer science, 11, 4
Publication Publié, 2015-12
Article révisé par les pairs
Titre: |
|
Auteur: | Le Roux, Stephane; Pauly, Arno |
Informations sur la publication: | Logical methods in computer science, 11, 4 |
Statut de publication: | Publié, 2015-12 |
Sujet CREF: | Informatique mathématique |
Informatique générale | |
Mots-clés: | Closed choice |
Reverse mathematics | |
Weihrauch reducibility | |
Note générale: | SCOPUS: ar.j |
Langue: | Anglais |
Identificateurs: | urn:issn:1860-5974 |
info:doi/10.2168/LMCS-11(4:6)2015 | |
info:scp/84957899955 |