Orbit-finite-dimensional vector spaces and weighted register automata
From MaRDI portal
Publication:6566474
DOI10.46298/THEORETICS.24.13MaRDI QIDQ6566474FDOQ6566474
Joshua Moerman, Mikołaj Bojańczyk, Bartek Klin, Author name not available (Why is that?)
Publication date: 3 July 2024
Published in: TheoretiCS (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nominal sets. Names and symmetry in computer science
- On the definition of a family of automata
- Finite-memory automata
- Mappings induced by PGSM-mappings and some recursively unsolvable problems of finite probabilistic automata
- Finite state machines for strings over infinite alphabets
- Automata theory in nominal sets
- On the Complexity of Equivalence and Minimisation for Q-weighted Automata
- The equality problem for rational series with multiplicities in the tropical semiring is undecidable
- Unambiguity in Automata Theory
- Nominal Domain Theory for Concurrency
- Learning Weighted Automata
- The containment problem for unambiguous register automata and unambiguous timed automata
This page was built for publication: Orbit-finite-dimensional vector spaces and weighted register automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6566474)