K | |
---|---|
[Koz83] | Dexter C. Kozen.
Results on the Propositional μ-calculus.
Theoretical Computer Science 27:333-354. Elsevier, 1983.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
K | |
---|---|
[Koz83] | Dexter C. Kozen.
Results on the Propositional μ-calculus.
Theoretical Computer Science 27:333-354. Elsevier, 1983.
|