Results on the propositional μ-calculus
Under an Elsevier user license
open archive
Cited by (0)
- ∗
These results were obtained during the author's sabbatical at the University of Aarhus, Denmark.
Copyright © 1983 Published by Elsevier B.V.
These results were obtained during the author's sabbatical at the University of Aarhus, Denmark.