Arto
Salomaa
matematiikka
Julkaisut
Functional constructions between reaction systems and propositional logic (2013)
International Journal of Foundations of Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Undecidability of state complexity (2013)
International Journal of Computer Mathematics
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Sheng Yu (1950-2012) In Memoriam (2012)
Fundamenta Informaticae
(Kirjoitus tai data-artikkeli tieteellisessä aikakauslehdessä (B1))
Magic in science (2012)
Theoretical Computer Science
(Toimitustyö tieteelliselle lehdelle, kokoomateokselle tai konferenssijulkaisulle (C2))
Sheng Yu (1950-2012) In Memoriam (2012)
Fundamenta Informaticae
(Kirjoitus tai data-artikkeli tieteellisessä aikakauslehdessä (B1))
Subword occurrences, weighted automata and iterated morphisms, especially the Fibonacci morphism (2012)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Mirror Images and Schemes for the Maximal Complexity of Nondeterminism (2012)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Functions and sequences generated by reaction systems (2012)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
POWER SUMS ASSOCIATED WITH CERTAIN RECURSIVE PROCEDURES ON WORDS (2011)
International Journal of Foundations of Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood (2010)
Journal of Universal Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))