scientific article
From MaRDI portal
Publication:2767191
zbMath0983.68522MaRDI QIDQ2767191
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Rewriting logic: Roadmap and bibliography ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ Two Decades of Maude ⋮ Twenty years of rewriting logic ⋮ Programming and symbolic computation in Maude ⋮ Towards Behavioral Maude ⋮ Maude: specification and programming in rewriting logic ⋮ Reflection in conditional rewriting logic
Uses Software
