Article Dans Une Revue
Fundamenta Informaticae
Année : 2017
Matteo Mio : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01903167
Soumis le : mercredi 24 octobre 2018-10:37:26
Dernière modification le : jeudi 7 mars 2024-12:32:05
Citer
Matteo Mio, Alex Simpson. Łukasiewicz μ-calculus. Fundamenta Informaticae, 2017, 150 (3-4), pp.317 - 346. ⟨10.3233/FI-2017-1472⟩. ⟨hal-01903167⟩
Collections
35
Consultations
0
Téléchargements