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

In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
Page(s)/Article-Nr.: [1]-13