Sciweavers

ENTCS
2006
146views more  ENTCS 2006»
13 years 11 months ago
An Abstract Way to Define Rewriting Logic
act way to define rewriting logic Marc Aiguier a,1 , Diane Bahrami b , Delphine Longuet a a Universit
Marc Aiguier, Diane Bahrami, Delphine Longuet