The convex hull of finitely generable subsets and its predicate transformer.

Mohammad-Javad Davari, Abbas Edalat, Andr Lieutier

Browse the full LICS paper archive.