Cyclic proofs for the first-order µ-calculus.
| Autor: | Afshari, Bahareh1 (AUTHOR) bahareh.afshari@gu.se, Enqvist, Sebastian2 (AUTHOR), Leigh, Graham E3 (AUTHOR) |
|---|---|
| Zdroj: | Logic Journal of the IGPL. Feb2024, Vol. 32 Issue 1, p1-34. 34p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|