|ITEM METADATA RECORD
|Title: ||Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop|
|Authors: ||Codish, Michael|
Demoen, Bart #
|Issue Date: ||1994 |
|Host Document: ||Proceedings of W2 Post-Conference Workshop on Verification and Analysis of (concurrent) Logic Languages (ICLP'94) pages:197-212|
|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.