2 citations · 3 across the 9 of their papers we have counts for
1 paper · 1 filter
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…