DMCA
Closed nominal rewriting and efficiently computable nominal algebra equality (2010)
by
Maribel Fernandez
,
Murdoch J. Gabbay
| Citations: | 4 - 3 self |
BibTeX
@MISC{Fernandez10closednominal,
author = {Maribel Fernandez and Murdoch J. Gabbay},
title = {Closed nominal rewriting and efficiently computable nominal algebra equality},
year = {2010}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
