A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

A short solution for the HDT0L sequence equivalence problem



Tekijät: Honkala J

Kustantaja: ELSEVIER SCIENCE BV

Julkaisuvuosi: 2000

Journal: Theoretical Computer Science

Tietokannassa oleva lehden nimi: THEORETICAL COMPUTER SCIENCE

Lehden akronyymi: THEOR COMPUT SCI

Vuosikerta: 244

Numero: 1-2

Aloitussivu: 267

Lopetussivu: 270

Sivujen määrä: 4

ISSN: 0304-3975

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


Tiivistelmä
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