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

Institutions

• Information & Communication Technology (ICT) Profile Area [080017]
• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]