On the size of disjunctive formulas in the μ-calculus

Publisher Website

16 September 2021

journal article
Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science

Vol. 346, 291-307
https://doi.org/10.4204/eptcs.346.19

Abstract

No abstract available