Juha Honkala
jhonkala@utu.fi +358 29 450 4302 +358 50 300 1017 Vesilinnantie 5 Turku |
Julkaisut 
3/5
- Decidability questions related to abstract numeration systemsOn Parikh slender context-free languages (2004)
- Discrete Mathematics
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - It is decidable whether the image of an N-rational sequence has a base (2004)
- Journal of Number Theory
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On infinite HD0L words having sparse lettersWatson-Crick DOL systems with regular triggers (2004)
- International Journal of Computer MathematicsTheory of Computing Systems
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - A bound for the omega-equivalence problem of polynomial dol systems (2003)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Decidability results for Watson-Crick D0L systems with nonregular triggersOn infinite words generated by polynomial DOL systems (2003)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On images of D0L and DT0L power series (2003)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On the images of N-rational sequences counting multiplicities (2003)
- International Journal of Algebra and ComputationInformation Processing Letters
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - The equivalence problem of polynomially bounded D0L systems - a bound depending only on the size of the alphabet2003
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - A new class of algebraic series having a decidable equivalence problemA polynomial bound for certain cases of the DOL sequence equivalence problem (2002)
- Fundamenta InformaticaeTheory of Computing Systems
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - (2002)
- Discrete Applied MathematicsDiscrete Applied Mathematics
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On the simplification of HD0L power series (2002) Honkala J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - The equality problem for Parikh simple algebraic power series2002
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - The equivalence problem for DFOL languages and power series (2002) Honkala J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - (2001)
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Easy cases of the DOL sequence equivalence problem (2001)
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - 2001
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Three variants of the DT0L sequence equivalence problem (2001) Honkala J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - (2001)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - A Kleene-Schutzenberger theorem for Lindenmayerian rational power series (2000)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - A short solution for the HDT0L sequence equivalence problem (2000)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
UTU Research Portal