Sign in

Computing the Transitive Closure of a Union of Affine Integer Tuple Relations.

Anna BeletskaDenis BarthouWlodzimierz BieleckiAlbert Cohen
Published in: COCOA (2009)
Keyphrases