Login / Signup
The Knuth-Bendix Completion Algorithm and Its Specification in Z.
Alf Smith
Published in:
Z User Workshop (1989)
Keyphrases
</>
probabilistic model
natural language
np hard