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)
Buchbeitrag, Beitrag zu einem Tagungsband

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

Einrichtungen

• Profilbereich Information & Communication Technology (ICT) [080017]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]