LARA Lecture 08 Giuliano: A constructive proof of Parikh's theorem Swen: Decomposition theorem for polyhedra One theorem Viktor: Semilinear sets for linear integer constraints from Decomposition Theorem
