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
# (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.