WST 04 -- 7th International Workshop on Termination

Michael Codish, Aart Middeldorp (eds.)

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.