Freeness Analysis in the Presence of Numerical Constraints (1993)

Cached

Download Links

by Veroniek Dumortier , Gerda Janssens , Maurice Bruynooghe , Michael Codish
Venue:In Tenth International Conference on Logic Programming
Citations:12 - 5 self