scientific article
From MaRDI portal
Publication:2703691
zbMath0966.68088MaRDI QIDQ2703691
Publication date: 7 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Rewriting logic: Roadmap and bibliography ⋮ Maude: specification and programming in rewriting logic ⋮ Logical foundations of CafeOBJ
This page was built for publication:
