Łukasiewicz μ-calculus - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae Année : 2017
Fichier non déposé

Dates et versions

hal-01903167 , version 1 (24-10-2018)

Identifiants

Citer

Matteo Mio, Alex Simpson. Łukasiewicz μ-calculus. Fundamenta Informaticae, 2017, 150 (3-4), pp.317 - 346. ⟨10.3233/FI-2017-1472⟩. ⟨hal-01903167⟩
28 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More