Sciweavers

CORR
2010
Springer

Closed nominal rewriting and efficiently computable nominal algebra equality

14 years 16 days ago
Closed nominal rewriting and efficiently computable nominal algebra equality
Maribel Fernández, Murdoch James Gabbay
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Maribel Fernández, Murdoch James Gabbay
Comments (0)