A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
1st International Workshop on The motivation to organize this forum stems from the fact that reduction strategies in rewriting and programming have attracted an increasing attention within the last years ... The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation ... theoretical foundations for the definition and semantic description of reduction strategies strategies in different frameworks (term rewriting, graph rewriting, infinitary rewriting, lambda calculi, higher ...doi:10.1016/s1571-0661(05)80558-4 fatcat:zsj5neatxff5hfcii2b6kqan6q