The star problem and the finite power property in trace monoids: reductions beyond C4
Information and Computation
Solvability of Equations in Free Partially Commutative Groups Is Decidable
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
On the Theory of One-Step Rewriting in Trace Monoids
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
The existential theory of equations with rational constraints in free groups is PSPACE-complete
Information and Computation
The existential theory of equations with rational constraints in free groups is PSPACE-complete
Information and Computation
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Alphabetical satisfiability problem for trace equations
Acta Cybernetica
Hi-index | 0.00 |