Damian Niwiński

Logic, algebra, and computer science. Helena Rasiowa in memoriam.

Marek Zawadowski, Damian Niwiński, 1999 .

Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings

Rastislav Královič, Damian Niwiński, 2009, MFCS.

Rudiments of Mu-calculus

André Arnold, Damian Niwiński, A. Arnold, 2001 .

Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009

Rastislav Královič, Damian Niwiński, 2009 .

Automata-theoretic hierarchies: Invited Presentation at the Third International Symposium on Games, Automata, Logics and Formal Verification

Damian Niwiński, 2012 .

Equational μ-calculus

Damian Niwiński, D. Niwinski, 1985 .