Sciweavers

PPDP
2005
Springer

Nominal rewriting with name generation: abstraction vs. locality

14 years 4 months ago
Nominal rewriting with name generation: abstraction vs. locality
Maribel Fernández, Murdoch Gabbay
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where PPDP
Authors Maribel Fernández, Murdoch Gabbay
Comments (0)