scientific article; zbMATH DE number 1301091
From MaRDI portal
Publication:4246736
zbMath0925.03096MaRDI QIDQ4246736
Publication date: 15 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Conditional linearization ⋮ Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
This page was built for publication: