scientific article
From MaRDI portal
Publication:2736358
zbMath0967.68505MaRDI QIDQ2736358
Emmanuel Kounalis, Denis Lugiez
Publication date: 29 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Associative-commutative discrimination nets ⋮ More problems in rewriting ⋮ A compiler for nondeterministic term rewriting systems ⋮ ELAN from a rewriting logic point of view
This page was built for publication:
