DMCA

Reduction Orderings and Completion for Rewrite Systems with Binding

by Maribel Fernández , Albert Rubio
Citations:4 - 0 self