Term Rewriting and Universal Algebra in Historical Perspective (Abstract of Invited Lecture).

Garrett Birkhoff

Published in: RTA (1989)

Keyphrases

term rewriting
historical perspective
theorem proving
theorem prover
operational semantics
rewrite systems
background information
computer vision
knuth bendix
data model
abstract data types
database
query language
inference rules
invited talk
object recognition