Publications by year

PP-2023-03:
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti, Yde Venema Proof Systems for Two-way Modal mu-Calculus
1.Full Text, 2.Abstract.