Login / Signup
Order-Sorted Term Rewriting.
A. J. J. Dick
Phil Watson
Published in:
Comput. J. (1991)
Keyphrases
</>
term rewriting
order sorted
predicate logic
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
first order logic
inference rules
automated reasoning
data mining
logic programs
databases
lower level
information retrieval
machine learning