Fixpoint logic, games, and relations of consequence [article]

MW Maciej Gazda, JF Jan Friso Groote, JC Jaco Van De Pol, TAC Tim Willemse
2016
Citation for published version (APA): Gazda, M. W. (2016). Fixpoint logic, games, and relations of consequence. Eindhoven: Technische Universiteit Eindhoven.
doi:10.6100/ir841355 fatcat:f3xkk2iuhjerpogif3vvzhhplm