scientific article
From MaRDI portal
Publication:2723887
zbMath0964.68069MaRDI QIDQ2723887
Publication date: 8 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Rewriting logic: Roadmap and bibliography ⋮ Twenty years of rewriting logic ⋮ Confluence: The Unifying, Expressive Power of Locality ⋮ Specification languages in algebraic compilers ⋮ Maude: specification and programming in rewriting logic
Uses Software
This page was built for publication:
