A short solution for the HDT0L sequence equivalence problem



: Honkala J

Publisher: ELSEVIER SCIENCE BV

: 2000

: Theoretical Computer Science

: THEORETICAL COMPUTER SCIENCE

: THEOR COMPUT SCI

: 244

: 1-2

: 267

: 270

: 4

: 0304-3975

DOI: https://doi.org/10.1016/S0304-3975(00)00158-4


We give a solution for the HDTOL sequence equivalence problem which uses Hilbert's Basis Theorem but avoids the use of Makanin's algorithm or Hall's results about metabelian groups. (C) 2000 Elsevier Science B.V. All rights reserved.



Last updated on 2024-26-11 at 10:32