8 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
David Venhoek, Joshua Moerman, Jurriaan Rot
We show how to compute efficiently with nominal sets over the total order symmetry, by developing a direct representation of such nominal sets and basic constructions thereon. In c…