Publication:2703691
From MaRDI portal
zbMath0966.68088MaRDI QIDQ2703691
Publication date: 7 May 2001
68Q42: Grammars and rewriting systems
Related Items
Maude: specification and programming in rewriting logic, Logical foundations of CafeOBJ, Rewriting logic: Roadmap and bibliography