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