DMCA

Closed nominal rewriting and efficiently computable nominal algebra equality (2010)

by Maribel Fernandez , Murdoch J. Gabbay
Citations:4 - 3 self