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