9 citations · 25 across the 14 of their papers we have counts for
1 paper · 2 filters
Olga Kharlampovich, Alexei Myasnikov
In this paper we describe an elimination process which is a deterministic rewriting procedure that on each elementary step transforms one system of equations over free groups into…