An Iterative Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations.

Wlodzimierz Bielecki, Tomasz Klimek, Marek Palkowski, Anna Beletska

Browse the full COCOA paper archive.