Sign in
Term rewriting with operator evaluation strategies.
Steven Eker
Published in:
WRLA (1998)
Keyphrases
</>
term rewriting
theorem proving
theorem prover
artificial intelligence
operational semantics
rewrite systems
database
information retrieval
database systems
knuth bendix