Hae
Aineistot 1-2 / 2
Proceedings of the Fourth Russian Finnish Symposium on Discrete Mathematics : Organized in Turku on 16.-19.5.2017
(TUCS Turku Centre for Computer Science, 2017-08-03)
The fourth RuFiDiM conference, Russian-Finnish Symposium on Discrete Mathematics,took place in Turku in May, from 16th til 19th, 2017. This meeting was organized as apart of research activities between Steklov Institute ...
Word Equations and Related Topics. Independence, Decidability and Characterizations
(Turku Centre for Computer Science, 2012-05-18)
The three main topics of this work are independent systems and chains of
word equations, parametric solutions of word equations on three unknowns,
and unique decipherability in the monoid of regular languages.
The ...