Title: Freeness analysis in the presence of numerical constraints
Authors: Dumortier, Veroniek
Janssens, Gerda
Bruynooghe, Maurice
Codish, Michael #
Issue Date: 1993
Publisher: MIT Press
Host Document: Logic Programming, Proceedings of the Tenth International Conference on Logic Programming pages:100-115
Conference: Tenth International Conference on Logic Programming location:Budapest, Hungary date:June 21-24, 1993
ISBN: 0-262-73105-3
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science