|ITEM METADATA RECORD
|Title: ||Freeness analysis in the presence of numerical constraints|
|Authors: ||Dumortier, Veroniek|
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|
|Publication status: ||published|
|KU Leuven publication type: ||IC|
|Appears in Collections:||Informatics Section|
|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