Igor Walukiewicz: notes and slides

Slides from LGL seminar, Bordeaux 2007

Slides from Dagstuhl meeting 2007

Slides from FSTTCS'05

Slides from LICS'04

Notes from EEF Summer School'01

Slides and Notes from CLS'97 tutorial

Notes on the Propositional Mu-Calculus: Completeness and Related Results

Aarhus University, BRICS Notes PDF


Igor Walukiewicz
Last modified: Tue Oct 5 09:30:58 CEST 2004