A short solution for the HDT0L sequence equivalence problem

Authors
Honkala, J
Citation
J. Honkala, A short solution for the HDT0L sequence equivalence problem, THEOR COMP, 244(1-2), 2000, pp. 267-270
Citations number
5
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORETICAL COMPUTER SCIENCE
ISSN journal
03043975 → ACNP
Volume
244
Issue
1-2
Year of publication
2000
Pages
267 - 270
Database
ISI
SICI code
0304-3975(20000806)244:1-2<267:ASSFTH>2.0.ZU;2-T
Abstract
We give a solution for the HDTOL sequence equivalence problem which uses Hi lbert's Basis Theorem but avoids the use of Makanin's algorithm or Hall's r esults about metabelian groups. (C) 2000 Elsevier Science B.V. All rights r eserved.