DMCA

Closed nominal rewriting and efficiently computable nominal algebra equality

by Maribel Fernández, et al.
Citations:4 - 3 self