scientific article
From MaRDI portal
Publication:4035244
zbMath0777.68053MaRDI QIDQ4035244
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
More problems in rewriting ⋮ Rational rewriting ⋮ Infinite normal forms for non-linear term rewriting systems ⋮ Deciding observational congruence of finite-state CCS expressions by rewriting
