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]