Login / Signup
The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures.
Konstantin Korovin
Andrei Voronkov
Published in:
FSTTCS (2002)
Keyphrases
</>
knuth bendix
term rewriting