scientific article; zbMATH DE number 1761896

zbMath0988.68556MaRDI QIDQ4537515

Maria C. F. Ferreira, Hans Zantema

Publication date: 1 July 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Total termination of term rewriting, Simple termination of rewrite systems, Termination of term rewriting using dependency pairs, Modular termination proofs for rewriting using dependency pairs, Termination by absence of infinite chains of dependency pairs