scientific article; zbMATH DE number 1765695

zbMATH Open0988.68094MaRDI QIDQ4539636FDOQ4539636

Authors: Xavier Urbain 

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830485

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

Recommendations

• Modular and incremental automated termination proofs
• Modular and incremental proofs of AC-termination
• Modular termination proofs for rewriting using dependency pairs
• Publication:2778873
• Termination of term rewriting using dependency pairs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (9)

• On proving \(C_E\)-termination of rewriting by size-change termination
• Proving operational termination of membership equational programs
• Modular proofs for completeness of hierarchical term rewriting systems
• Hierarchical termination revisited.
• Elimination transformations for associative-commutative rewriting systems
• Modular termination proofs for rewriting using dependency pairs
• Modular and incremental automated termination proofs
• Modular and incremental proofs of AC-termination
• Inductive termination proofs with transition invariants and their relationship to the size-change abstraction

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 Q4539636)