Title: Proving termination of (conditional) rewrite systems: a semantic approach
Authors: Bevers, Eddy ×
Lewi, Johan #
Issue Date: 1993
Publisher: Springer
Series Title: Acta Informatica vol:30 pages:537-568
ISSN: 0001-5903
Publication status: published
KU Leuven publication type: IT
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