2017-01-19: Johannes Marti (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Johannes Marti (MSP)

MSP 101: Automata and games for fixpoint logics

Abstract

I explain how we can use automata and games to understand the behaviour of modal fixpoint logics.

2017-01-19 14:00:00 UTC
LT1310