Juha
Honkala
dosentti, matematiikan ja tilastotieteen laitos
yliopistotutkija, matematiikka
Julkaisut
A new bound for the DOL sequence equivalence problem (2007)
Acta Informatica
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
The DOL omega-equivalence problem (2007)
International Journal of Foundations of Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
On the problem whether the image of an N-rational series equals N (2006)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
The base problem for DOL Parikh sets (2006)
International Journal of Foundations of Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
The class of HDTOL sequences is closed with respect to rational functions (2005)
Information Processing Letters
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
An n(2)-bound for the ultimate equivalence problem of certain D0L systems over an n-letter alphabet (2005)
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))The equivalence problem for languages defined by transductions on D0L languages (2005)
International Journal of Computer Mathematics
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
The language equivalence problem for HDOL systems having DOL growths (2005)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
It is decidable whether the image of an N-rational sequence has a base (2004)
Journal of Number Theory
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Decidability questions related to abstract numeration systems (2004)
Discrete Mathematics
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))