Fast computations on ordered nominal sets

David Venhoek, Joshua Moerman, Jurriaan Rot. Fast computations on ordered nominal sets. Theoretical Computer Science, 935:82-104, 2022. [doi]

Abstract

Abstract is missing.