Reduce the redex -+ ReDuX (1993)

by R Btindgen
Venue:Rewriting Techniques and Applications (LNCS 690
Add To MetaCart
Results 1 - 1 of 1

A fine-grained parallel completion procedure

by Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin - IN ISSAC ’94: PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION , 1994
"... ..."
Abstract - Cited by 7 (2 self) - Add to MetaCart
Abstract not found