Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
Bojańczyk, Mikołaj (Corresponding author); Klin, Bartek (Corresponding author); Moerman, Joshua (Corresponding author)
(2021)
Preprint
Einrichtungen
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
Identifikationsnummern
- DOI: 10.18154/RWTH-2021-03671
- arXiv: arXiv:2104.02438
- RWTH PUBLICATIONS: RWTH-2021-03671