Rewriting as a Special Case of Non-Commutative Gröbner Basis Theory
doi 10.1017/cbo9780511600609.009
Full Text
Open PDFAbstract
Available in full text
Date
June 15, 2000
Authors
Publisher
Cambridge University Press
Available in full text
June 15, 2000
Cambridge University Press