Separation and Renaming in Nominal Sets
Moerman, Joshua (Corresponding author); Rot, Jurriaan (Corresponding author)
(2019)
Preprint
Identifier
- RWTH PUBLICATIONS: RWTH-2020-03713
Moerman, Joshua (Corresponding author); Rot, Jurriaan (Corresponding author)
(2019)
Preprint