Login / Signup
Completion of Rewrite Systems with Membership Constraints.
Hubert Comon
Published in:
ICALP (1992)
Keyphrases
</>
rewrite systems
knuth bendix
quantifier free
term rewriting
function symbols
logic programs
theorem prover
theorem proving
data flow
evaluation model