Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence.

Stéphane Kaplan

Published in: ADT (1984)

Keyphrases

term rewriting systems
rewrite systems
term rewriting
theorem proving
theorem prover
logic programs
functional programs
higher order
active rules
random field model
conditional probabilities
inference rules
first order logic
query optimization