Old Web
English
Sign In
Acemap
>
Paper
>
Closed nominal rewriting and efficiently computable nominal algebra equality
Closed nominal rewriting and efficiently computable nominal algebra equality
2010
Maribel Fernández
J. Murdoch
D. Gabbay
Keywords:
Mathematics
Rewriting
algebra
Algebra
Correction
Source
Cite
Save
Machine Reading By IdeaReader
30
References
16
Citations
NaN
KQI
[]