A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra.

Deepak Kapur Klaus Madlener

Published in: Computers and Mathematics (1989)

Keyphrases

knuth bendix
real time
starting point
machine learning
learning algorithm
special case
object oriented
iterative procedure