Some reduction strategies for algebraic term rewriting.

Wolfgang Küchlin

Published in: SIGSAM Bull. (1982)

Keyphrases

term rewriting
theorem proving
theorem prover
knuth bendix
operational semantics
rewrite systems
natural language
online auctions