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 Sep 2021, (Submitted) Ithaca, NY, p. 291-307, 17 p. (EPTCS ).Research output: Working paper
File1 Downloads (Pure) -
2020
The game semantics of game theory
Hedges, J., 15 Sep 2020, Ithaca, N.Y., 30 p.Research output: Working paper
Open AccessFile54 Downloads (Pure)