Publication:4222981
From MaRDI portal
zbMath0917.68113MaRDI QIDQ4222981
Publication date: 7 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15005
Related Items
Maude: specification and programming in rewriting logic, Rewriting logic: Roadmap and bibliography, Semantic foundations for generalized rewrite theories, Unnamed Item
Uses Software