ITEM METADATA RECORD
Title: Propagation : a new operation in a framework for abstract interpretation of logic programs
Authors: Bruynooghe, Maurice ×
Janssens, Gerda #
Issue Date: 1992
Host Document: Proceedings of Third International Workshop on Metaprogramming in Logic (META-92) (Preliminary Proceedings) pages:238-252
Conference: Third International Workshop on Metaprogramming in Logic (META-92), location:Uppsala, Sweden date:10-12 June 1992
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (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