Login / Signup

The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures.

Konstantin KorovinAndrei Voronkov
Published in: FSTTCS (2002)
Keyphrases
  • knuth bendix
  • term rewriting