%0 Conference Paper %1 conf/iclp/DumortierJBC93 %A Dumortier, Veroniek %A Janssens, Gerda %A Bruynooghe, Maurice %A Codish, Michael %B ICLP %D 1993 %E Warren, David Scott %I MIT Press %K dblp %P 100-115 %T Freeness Analysis in the Presence of Numerical Constraints. %U http://dblp.uni-trier.de/db/conf/iclp/iclp93.html#DumortierJBC93 %@ 0-262-73105-3

@inproceedings{conf/iclp/DumortierJBC93, added-at = {2013-11-29T00:00:00.000+0100}, author = {Dumortier, Veroniek and Janssens, Gerda and Bruynooghe, Maurice and Codish, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2aa10cfb3dd71224953b32378efb21fe8/dblp}, booktitle = {ICLP}, crossref = {conf/iclp/1993}, editor = {Warren, David Scott}, interhash = {2bb0fcf6bb03145b010d42106519b18b}, intrahash = {aa10cfb3dd71224953b32378efb21fe8}, isbn = {0-262-73105-3}, keywords = {dblp}, pages = {100-115}, publisher = {MIT Press}, timestamp = {2013-11-30T11:34:17.000+0100}, title = {Freeness Analysis in the Presence of Numerical Constraints.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp93.html#DumortierJBC93}, year = 1993 }