Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

Bojanczyk, Mikolaj (Corresponding author); Klin, Bartek (Corresponding author); Moerman, Joshua (Corresponding author)

New York,NY,United States : Association for Computing Machinery (2021)
Contribution to a book, Contribution to a conference proceedings (Review Article)

In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science

Identifier