Login / Signup
Confluent and Coherent Equational Term Rewriting Systems: Application to Proofs in Abstract Data Types.
Jean-Pierre Jouannaud
Published in:
CAAP (1983)
Keyphrases
</>
term rewriting systems
abstract data types
theorem proving
data abstraction
theorem prover
equational theories
data mining
preprocessing