Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

Bojańczyk, Mikołaj; Klin, Bartek; Moerman, Joshua

doi:openalex:W4287239951

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

Bojańczyk, Mikołaj (Corresponding author) ; Klin, Bartek (Corresponding author) ; Moerman, Joshua (Corresponding author)^RWTH*

2021

Umfang16 Seiten

Online
DOI: 10.18154/RWTH-2021-03671
DOI: 10.48550/ARXIV.2104.02438
10.48550/ARXIV.2104.02438
URL: https://publications.rwth-aachen.de/record/817082/files/817082.pdf

Einrichtungen

Projekte

FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914) (787914)

Inhaltliche Beschreibung (Schlagwörter)
Automata Theory (frei) ; Formal Languages (frei) ; Linear Algebra (frei)

OpenAccess:
PDF
Externer link:
Fulltext by arXiv.org

Dokumenttyp
Preprint

Format
online

Sprache
English

Externe Identnummern
arXiv: arXiv:2104.02438
OpenAlex: W4287239951

Interne Identnummern
RWTH-2021-03671
Datensatz-ID: 817082

Beteiligte Länder
Germany, Poland

Related:

Contribution to a book/Contribution to a conference proceedings Bojanczyk, M. (Corresponding author) ; Klin, B. (Corresponding author) ; Moerman, J. (Corresponding author)RWTH*
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
2021Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
36. Annual ACM/IEEE Symposium on Logic in Computer Science, LICS, RomeRome, Italy, 29 Jun 2021 - 2 Jul 20212021-06-292021-07-02 New York, NY, United States : Association for Computing Machinery, ACM Conferences [1]-13 (2021) [10.1109/LICS52264.2021.9470634]2021 BibTeX | EndNote: XML, Text | RIS