|ITEM METADATA RECORD
|Title: ||Non-transformational termination analysis of logic programs, based on general term-orderings|
|Authors: ||Serebrenik, Alexander|
De Schreye, Danny #
|Issue Date: ||2000 |
|Host Document: ||Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation, 2000 pages:45-54|
|Conference: ||Tenth International Workshop on Logic-based Program Synthesis and Transformation location:Lonon, United Kingdom date:July 24-28, 2000|
|Description: ||Technical Report Series, Department of Computer Science, University of Manchester, ISSN 1361-6161. Report number UMCS-00-6-1, URL : http://www.cs.man.ac.uk/cstechrep/titles00.html|
|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.