Login / Signup
Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras.
Jan A. Bergstra
John V. Tucker
Published in:
J. ACM (1995)
Keyphrases
</>
term rewriting systems
logic programs
high level
theorem proving
theorem prover
functional programs
databases
distributed systems
object oriented databases
delay insensitive
equational theories