This page shows all presentations of this author published in EasyChair Smart Slide.
A Parameterized BüChi-Landweber Theorem
Paweł Parys
PTIME algorithm for parity games
Homogeneity without Loss of Generality
Intersection Types for Unboundedness Problems (ITRS invited talk)