Abstract: Rewriting is a formalism widely used in computer science and mathematical logic. The classical formalism has been extended, in the context of functional languages, with an order over the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results