Abstract
We give a solution for the HDT0L sequence equivalence problem which uses Hilbert's Basis Theorem but avoids the use of Makanin's algorithm or Hall's results about metabelian groups.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have