Deciding the unguarded modal µ-calculus

Oliver Friedmann, Martin Lange. Deciding the unguarded modal µ-calculus. Journal of Applied Non-Classical Logics, 23(4):353-371, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.