Complétude constructive pour le mu-calcul linéaire
Amina Doumane
[Bibtex]
N°12, Juin 2018, pages 117-120
DOI:10.48556/SIF.1024.12.117
|
|
|
Complétude constructive pour le mu-calcul linéaireAmina Doumane[Bibtex]
|
N°12, Juin 2018, pages 117-120 DOI:10.48556/SIF.1024.12.117 |