Modular Proofs for Completeness of Hierarchical Term Rewriting Systems.

M. R. K. Krishna Rao

Published in: Theor. Comput. Sci. (1995)

Keyphrases

term rewriting systems
formal proofs
logic programs
functional programs
equational theories
hierarchical structure
object oriented
decision procedures