2 citations · 2 across the 1 of their papers we have counts for
1 paper
Horatiu Cirstea
This thesis is devoted to the study of a calculus that describes the application of conditional rewriting rules and the obtained results at the same level of representation. We int…