- Record: found
- Abstract: not found
- Book Chapter: not found
Automated Technology for Verification and Analysis
What’s Decidable about Weighted Automata?
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references6
- Record: found
- Abstract: not found
- Conference Proceedings: not found
The equivalence problem for regular expressions with squaring requires exponential space
A. R. Meyer, L. J. Stockmeyer (1972)
- Record: found
- Abstract: not found
- Article: not found
THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
Daniel Krob (1994)
- Record: found
- Abstract: not found
- Book Chapter: not found
Recognizable sets with multiplicities in the tropical semiring
Imre Simon (1988)