An Abstract Way to Define Rewriting Logic

13 years 11 months ago

act way to define rewriting logic Marc Aiguier a,1 , Diane Bahrami b , Delphine Longuet a a Universit

Marc Aiguier, Diane Bahrami, Delphine Longuet

ENTCS 2006 | Logic Marc | Rewriting Logic | Sur Yvette Cedex |

claim paper

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ENTCS
Authors	Marc Aiguier, Diane Bahrami, Delphine Longuet

Comments (0)