Research seminar on logic and discrete mathematics 7 Feb 2020 (click for info)
Friday Feb 7 at 12-14 in Kumpula campus, Helsinki, Room B322. Raine Rönnholm (with Lauri Hella and Antti Kuusisto), Bounded semantics for mu-calculus.
Friday Feb 7 at 12-14 in Kumpula campus, Helsinki, Room B322. Raine Rönnholm (with Lauri Hella and Antti Kuusisto), Bounded semantics for mu-calculus.