scientific article; zbMATH DE number 1761896
From MaRDI portal
Publication:4537515
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.
Related Items (5)
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
This page was built for publication: