scientific article; zbMATH DE number 1086665
From MaRDI portal
Publication:4362915
zbMath0884.68067MaRDI QIDQ4362915
Enno Ohlebusch, Alfons Geser, Aart Middeldorp, Hans Zantema
Publication date: 1 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem ⋮ Relative undecidability in term rewriting. I: The termination hierarchy ⋮ Relative undecidability in term rewriting. II: The confluence hierarchy