Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

Research output: Working paper / Preprint › Preprint

  • 1 Conference Article in proceeding

Search results

  • 2021

    Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.

    Bojanczyk, M., Klin, B. & Moerman, J., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 1-13 13 p.

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