The star problem and the finite power property in trace monoids: reductions beyond C4
Information and Computation
Two Techniques in the Area of the Star Problem
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A Connection between the Star Problem and the Finite Power Property in Trace Monoids
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
The Star Problem in Trace Monoids: Reductions Beyond C4
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Two techniques in the area of the star problem in trace monoids
Theoretical Computer Science
Some undecidability results related to the star problem in trace monoids
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring
Theoretical Computer Science
| Hi-index | 0.00 |