scientific article; zbMATH DE number 1398069
From MaRDI portal
Publication:4937190
zbMath0939.68668MaRDI QIDQ4937190
Yoshihito Toyama, Michio Oyamaguchi
Publication date: 3 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Level-confluence of conditional rewrite systems with extra variables in right-hand sides ⋮ Problems in rewriting III ⋮ Conditional linearization ⋮ Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem ⋮ On interreduction of semi-complete term rewriting systems
This page was built for publication:
