Publication:4222992
From MaRDI portal
zbMath0917.68099MaRDI QIDQ4222992
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#15015
68Q42: Grammars and rewriting systems
Related Items
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic, Rewriting logic: Roadmap and bibliography, Normal forms for algebras of connections.
Uses Software