Separation and Renaming in Nominal Sets

Moerman, Joshua (Corresponding author); Rot, Jurriaan (Corresponding author)

(2019) [Preprint]

Seite(n): 23 Seiten

Identifikationsnummern

  • REPORT NUMBER: RWTH-2020-03713