Login / Signup
Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions.
Su Feng
Published in:
J. Comput. Sci. Technol. (2005)
Keyphrases
</>
term rewriting systems
small number
definite clause
database
knowledge representation