scientific article
From MaRDI portal
Publication:3995129
zbMath0704.68001MaRDI QIDQ3995129
No author found.
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Semantics for positive/negative conditional rewrite systems ⋮ Proving ground confluence and inductive validity in constructor based equational specifications ⋮ On the synchronization of semi-traces ⋮ Shallow confluence of conditional term rewriting systems
This page was built for publication:
