Login / Signup

Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras.

Jan A. BergstraJohn 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