Article Dans Une Revue
Mathematical Structures in Computer Science
Année : 2017
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03189640
Soumis le : dimanche 4 avril 2021-15:14:37
Dernière modification le : jeudi 14 mars 2024-03:14:27
Citer
Jean Goubault-Larrecq. Isomorphism theorems between models of mixed choice. Mathematical Structures in Computer Science, 2017, 27 (6), pp.1032-1067. ⟨10.1017/S0960129515000547⟩. ⟨hal-03189640⟩
Collections
42
Consultations
0
Téléchargements