A1 Refereed original research article in a scientific journal

A short solution for the HDT0L sequence equivalence problem



Authors: Honkala J

Publisher: ELSEVIER SCIENCE BV

Publication year: 2000

Journal: Theoretical Computer Science

Journal name in source: THEORETICAL COMPUTER SCIENCE

Journal acronym: THEOR COMPUT SCI

Volume: 244

Issue: 1-2

First page : 267

Last page: 270

Number of pages: 4

ISSN: 0304-3975

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


Abstract
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