scientific article; zbMATH DE number 1761895
From MaRDI portal
Publication:4537514
zbMath0988.68558MaRDI QIDQ4537514
Publication date: 1 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Level-confluence of conditional rewrite systems with extra variables in right-hand sides ⋮ On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems ⋮ Equational rules for rewriting logic
This page was built for publication:
