论文信息 - Multiset Relations: a Tool for Proving Termination - 字舞流文

Multiset Relations: a Tool for Proving Termination

Fernando Martin | José-Luis Ruiz-Reina | María-José Hidalgo | Jose Antonio Alonso | J. Alonso | María-José Hidalgo | F. Martín | J. Ruiz-Reina

[1] Zohar Manna,et al. Proving termination with multiset orderings , 1979, CACM.

[2] Jan Willem Klop,et al. Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond , 1990, ICALP.

[3] Francisco-Jesús Martín-Mateos,et al. Formalizing Rewriting in the ACL2 Theorem Prover , 2000, AISC.