Damian Niwinski

Recent papers


The book: Rudiments of mu-calculus (co-author: Andre Arnold), Elsevier 2001.