Cyclic proofs for the first-order µ-calculus.
Saved in:
| Title: | Cyclic proofs for the first-order µ-calculus. |
|---|---|
| Authors: | Afshari, Bahareh1, bahareh.afshari@gu.se, Enqvist, Sebastian2, Leigh, Graham E3 |
| Source: | Logic Journal of the IGPL; Feb2024, Vol. 32 Issue 1, p1-34, 34p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
