Uniform interpolation from cyclic proofs: the case of modal mu-calculus

From MaRDI portal
Revision as of 23:26, 1 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2142087

DOI10.1007/978-3-030-86059-2_20OpenAlexW3197483185MaRDI QIDQ2142087

Bahareh Afshari, Guillermo Menéndez Turata, Graham E. Leigh

Publication date: 25 May 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86059-2_20




Related Items (2)


Uses Software



Cites Work




This page was built for publication: Uniform interpolation from cyclic proofs: the case of modal mu-calculus