scientific article
From MaRDI portal
Publication:2782485
zbMath1004.68081MaRDI QIDQ2782485
Publication date: 3 April 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Termination of term rewriting using dependency pairs ⋮ Modular and incremental automated termination proofs
This page was built for publication:
