Fast Computations on Ordered Nominal Sets.

David Venhoek, Joshua Moerman, Jurriaan Rot

Browse the full ICTAC paper archive.