Research output per year
Research output per year
Search results
-
2021
On the size of disjunctive formulas in the μ-calculus
Kupke, C., Marti, J. & Venema, Y., 17 Sept 2021, (Submitted) Ithaca, NY, p. 291-307, 17 p. (EPTCS ).Research output: Working paper
File28 Downloads (Pure)