Freeness Analysis in the Presence of Numerical Constraints

V. 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

© copyright notice