ITEM METADATA RECORD
Title: Termination analysis: some practical properties of the norm space
Authors: Decorte, Stefaan ×
De Schreye, Danny #
Issue Date: 1998
Host Document: Logic Programming, Proceedings of 1998 Joint International Conference and Symposium on Logic Programming (JICSLP'98) pages:235-249
Conference: 1998 Joint International Conference and Symposium on Logic Programming location:Manchester, U.K. date:June 1998
URI: 
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