Freeness Analysis in the Presence of Numerical Constraints.

Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish

Browse the full ICLP paper archive.