Cites work
- A decision procedure for the order of regular events
- Decidability equivalence between the star problem and the finite power problem in trace monoids
- scientific article; zbMATH DE number 4218075 (Why is no real title available?)
- scientific article; zbMATH DE number 3433848 (Why is no real title available?)
- scientific article; zbMATH DE number 941396 (Why is no real title available?)
- scientific article; zbMATH DE number 2102758 (Why is no real title available?)
- Improved limitedness theorems on finite automata with distance functions
- Limitedness theorem on finite automata with distance functions
Cited in
(2)
This page was built for publication: The finite power problem revisited.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1853154)