Sign in
WRS
2001
2004
2008
2011
2001
2011
Keyphrases
Publications
2011
Alberto Verdejo
,
Narciso Martí-Oliet
Basic completion strategies as another application of the Maude strategy language
WRS
(2011)
Hans Zantema
Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic
WRS
(2011)
Walid Belkhir
,
Alain Giorgetti
Lazy AC-Pattern Matching for Rewriting
WRS
(2011)
Matthias Raffelsieper
Productivity of Non-Orthogonal Term Rewrite Systems
WRS
(2011)
Detlef Plump
The Design of GP 2
WRS
(2011)
volume 82, 2011
Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011.
WRS
82 (2011)
2009
Tony Bourdier
,
Horatiu Cirstea
,
Daniel J. Dougherty
,
Hélène Kirchner
Extensional and Intensional Strategies
WRS
(2009)
Eduardo Bonelli
,
Pablo Barenbaum
Superdevelopments for Weak Reduction
WRS
(2009)
Daniel Lima Ventura
,
Mauricio Ayala-Rincón
,
Fairouz Kamareddine
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
WRS
(2009)
Ariel Gonzalez
,
Carlos Luna
Specification of Products and Product Lines
WRS
(2009)
Besik Dundua
,
Temur Kutsia
,
Mircea Marin
Strategies in PRholog
WRS
(2009)
Hans Zantema
,
Matthias Raffelsieper
Stream Productivity by Outermost Termination
WRS
(2009)
Bernhard Gramlich
,
Felix Schernhammer
Extending Context-Sensitivity in Term Rewriting
WRS
(2009)
volume 15, 2009
Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009.
WRS
15 (2009)
volume 124, number 2, 2005
Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004
WRS
124 (2) (2005)
volume 86, number 4, 2003
3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings
WRS
86 (4) (2003)
volume 70, number 6, 2002
2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings
WRS
70 (6) (2002)
volume 57, 2001
1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001
WRS
57 (2001)