Partial Completion of Equational Theories

Keywords: term rewriting system,completion of equational theorys partial completion
计算机数学,方程式理论,计算模型

Full-Text   Cite this paper   Add to My Lib

Abstract:

Full-Text