Login / Signup

Inductive Inference for Solving Divergence in Knuth-Bendix Completion.

Muffy ThomasKlaus P. Jantke
Published in: AII (1989)
Keyphrases