Associative-Commutative Reduction Orderings
Information Processing Letters - Netherlands
doi 10.1016/0020-0190(92)90024-p
Full Text
Open PDFAbstract
Available in full text
Categories
Date
August 1, 1992
Authors
Publisher
Elsevier BV
Available in full text
August 1, 1992
Elsevier BV