DMCA

Nominal Rewriting Systems (2004)

Cached

Download Links

by Murdoch J. Gabbay , Ian Mackie
Venue:Proceedings of the 6th ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 2004), ACM
Citations:23 - 11 self