Reduction Orderings and Completion for Rewrite Systems with Binding
by
Maribel Fernández
,
Albert Rubio
| Citations: | 2 - 1 self |
Document Versions
| Reduction Orderings and Completion for Rewrite Systems with Binding –Maribel Fernández, Albert Rubio |
| Reduction orderings and completion of rewrite systems with binding, 2010. Available from www.dcs.kcl.ac.uk/staff/maribel –Maribel Fernández, Albert Rubio |
