|
Freeness Analysis in the Presence of Numerical ConstraintsV. Dumortier, G. Janssens, Maurice Bruynooghe and Michael Codish
Proceedings of
the Tenth International Conference on Logic Programming;
1993
Abstract:Available: bibtex entry Michael Codish The Department of Computer Science Ben-Gurion University of the Negev PoB 653, Beer-Sheva, 84105, Israel mcodish@cs.bgu.ac.il
|