Login / Signup
Reducing the Complexity of the Knuth-Bendix Completion-Algorithm: A "Unification" of Different Approaches.
Franz Winkler
Published in:
European Conference on Computer Algebra (2) (1985)
Keyphrases
</>
computational complexity
knuth bendix
worst case
np hard
space complexity
database
search space