Login / Signup
On Nontermination of Knuth-Bendix Algorithm.
Miki Hermann
Igor Prívara
Published in:
ICALP (1986)
Keyphrases
</>
artificial intelligence
np hard
search space
databases
probabilistic model