Fast computations on ordered nominal sets

David Venhoek, Joshua Moerman*, Jurriaan Rot

*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

  • 1 Conference Article in proceeding
  • 1 Preprint
Filter
Conference Article in proceeding

Search results

  • 2018

    Fast Computations on Ordered Nominal Sets

    Venhoek, D., Moerman, J. & Rot, J., 2018, Theoretical Aspects of Computing- ICTAC 2018: 15th International Colloquium. Fischer, B. & Uustalu, T. (eds.). Springer, p. 493-512 20 p. (Lecture Notes in Computer Science, Vol. 11187). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 11187).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review