scientific article; zbMATH DE number 1231665
From MaRDI portal
Publication:4222991
zbMath0917.68023MaRDI QIDQ4222991
Pierre-Etienne Moreau, Peter Borovanský, Salma Jamoussi, Christophe Ringeissen
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Rewriting logic: Roadmap and bibliography ⋮ Manipulating algebraic specifications with term-based and graph-based representations ⋮ Unnamed Item
Uses Software
This page was built for publication: