Sciweavers

133

Voted

CADE
2003
Springer

124views Logical Reasoning» more CADE 2003»

Equational Abstractions

16 years 5 months ago

Equational Abstractions

Download maude.cs.uiuc.edu

José Meseguer, Miguel Palomino, Narciso Mar...

claim paper

Read More »