Publication:4222991
From MaRDI portal
zbMath0917.68023MaRDI QIDQ4222991
Salma Jamoussi, Christophe Ringeissen, Pierre-Etienne Moreau, Peter Borovanský
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#15014
Related Items
Rewriting logic: Roadmap and bibliography, Manipulating algebraic specifications with term-based and graph-based representations, Unnamed Item
Uses Software