tr-announce Juni 2004

tr-announce@lists.rwth-aachen.de

1 Teilnehmer
5 Diskussionen

2004-07: WST 04 -- 7th International Workshop on Termination

von Volker Stolz

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.

19 Jahre, 10 Monate

2004-06: WRS 04 -- 4th International Workshop on Reduction Strategies in Rewriting and Programming

von Volker Stolz

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.

19 Jahre, 10 Monate

2004-05: WFLP 04 -- 13th International Workshop on Functional and (Constraint) Logic Programming

von Volker Stolz

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.

19 Jahre, 10 Monate

2004-04: RULE 04 -- Fifth International Workshop on Rule-Based Programming

von Volker Stolz

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.

19 Jahre, 10 Monate

2004-03: HOR 2004 -- 2nd International Workshop on Higher-Order Rewriting

von Volker Stolz

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.

19 Jahre, 10 Monate

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

tr-announce Juni 2004