Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman

Research output: Working paper / Preprint › Preprint › Academic

1 Conference Article in proceeding

1 results

Filter

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