15 Jun
2004
15 Jun
'04
09:29
The following technical report is available from http://aib.informatik.rwth-aachen.de/:
Michael Codish, Aart Middeldorp (eds.)
WST 04 -- 7th International Workshop on Termination 2004-07
This report contains the proceedings of the 7th International Workshop on Termination (WST 2004), which was held on June 1-2, 2004 as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2004) in Aachen, Germany.