Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2.

M. Randall Holmes

Published in: RTA (1995)

Keyphrases

rewrite rules
theorem proving
theorem prover
rewriting rules
consistency constraints
transformation rules
management system
complex queries