scientific article
From MaRDI portal
Publication:2723429
zbMath0963.68181MaRDI QIDQ2723429
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Elimination transformations for associative-commutative rewriting systems, Termination of Narrowing in Left-Linear Constructor Systems, Modular termination proofs for rewriting using dependency pairs
