scientific article; zbMATH DE number 1761896

zbMATH Open0988.68556MaRDI QIDQ4537515FDOQ4537515

Authors: Maria C. F. Ferreira, Hans Zantema 

Publication date: 1 July 2002

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (12)

• Total termination of term rewriting
• Total termination of term rewriting
• Simple termination of rewrite systems
• Syntax-guided termination analysis
• Title not available (Why is that?)
• Termination by absence of infinite chains of dependency pairs
• Title not available (Why is that?)
• Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations
• Modular termination proofs for rewriting using dependency pairs
• Termination of term rewriting using dependency pairs
• 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)