Login / Signup

Buchberger's Algorithm: The Term Rewriter's Point of View.

Reinhard Bündgen
Published in: Theor. Comput. Sci. (1996)
Keyphrases