June 2004 - tr-announce - lists.rwth-aachen.de

2004-07: WST 04 -- 7th International Workshop on Termination
by Volker Stolz 15 Jun '04

15 Jun '04

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.

1 0

2004-06: WRS 04 -- 4th International Workshop on Reduction Strategies in Rewriting and Programming
by Volker Stolz 15 Jun '04

15 Jun '04

The following technical report is available from http://aib.informatik.rwth-aachen.de/: Sergio Antoy, Yoshihito Toyama (eds.) WRS 04 -- 4th International Workshop on Reduction Strategies in Rewriting and Programming 2004-06 This report contains the proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2004), which was held on June 2, 2004 as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2004) in Aachen, Germany.

1 0

2004-05: WFLP 04 -- 13th International Workshop on Functional and (Constraint) Logic Programming
by Volker Stolz 15 Jun '04

15 Jun '04

The following technical report is available from http://aib.informatik.rwth-aachen.de/: Herbert Kuchen (ed.) WFLP 04 -- 13th International Workshop on Functional and (Constraint) Logic Programming 2004-05 This report contains the proceedings of the 13th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2004), which was held on June 1, 2004 as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2004) in Aachen, Germany.

1 0

2004-04: RULE 04 -- Fifth International Workshop on Rule-Based Programming
by Volker Stolz 15 Jun '04

15 Jun '04

The following technical report is available from http://aib.informatik.rwth-aachen.de/: Slim Abdennadher, Christophe Ringeissen (eds.) RULE 04 -- Fifth International Workshop on Rule-Based Programming 2004-04 This report contains the proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004), which was held on June 1, 2004 as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2004) in Aachen, Germany.

1 0

2004-03: HOR 2004 -- 2nd International Workshop on Higher-Order Rewriting
by Volker Stolz 15 Jun '04

15 Jun '04

The following technical report is available from http://aib.informatik.rwth-aachen.de/: Delia Kesner, Femke van Raamsdonk, Joe Wells (eds.) HOR 2004 -- 2nd International Workshop on Higher-Order Rewriting 2004-03 This report contains the proceedings of the 2nd International Workshop on Higher-Order Rewriting (HOR 2004), which was held on June 2, 2004 as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2004) in Aachen, Germany.

1 0