1 Hit in 6.3 sec


Bernhard Gramlich, Salvador Lucas
2001 Electronical Notes in Theoretical Computer Science  
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