scientific article; zbMATH DE number 1761896

MaRDI QIDQ4537515zbMATH OpenFDO

Authors Maria C. F. Ferreira, Hans Zantema

Publication date 1 July 2002

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Total termination of term rewriting
• Total termination of term rewriting
• scientific article; zbMATH DE number 3930339
• Total termination of term rewriting is undecidable
• scientific article; zbMATH DE number 408817

Cited in

(13)

• Total termination of term rewriting
• Simple termination of rewrite systems
• Total termination of term rewriting
• Syntax-guided termination analysis
• scientific article; zbMATH DE number 1223728 (Why is no real title available?)
• Termination by absence of infinite chains of dependency pairs
• scientific article; zbMATH DE number 3930339 (Why is no real title available?)
• Modular termination proofs for rewriting using dependency pairs
• Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations
• Termination of term rewriting using dependency pairs
• Wanda -- a higher-order termination tool (system description)
• Local termination: theory and practice
• Proof-theoretic analysis of termination proofs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537515)