Travelled to:
1 × Austria
1 × Canada
1 × France
Collaborated with:
T.Harju S.Holub R.Niskanen I.Potapov T.Kärki M.Rigo
Talks about:
period (2) correspond (1) morphism (1) undecid (1) problem (1) morphic (1) general (1) concern (1) result (1) reduct (1)
Person: Vesa Halava
DBLP: Halava:Vesa
Contributed to:
Wrote 4 papers:
- LATA-2015-HalavaNP #game studies #on the
- On Robot Games of Degree Two (VH, RN, IP), pp. 224–236.
- DLT-2010-HalavaHKR #on the #word
- On the Periodicity of Morphic Words (VH, TH, TK, MR), pp. 209–217.
- DLT-J-2009-HalavaH11 #problem #reduction
- Reduction Tree of the Binary Generalized Post Correspondence Problem (VH, SH), pp. 473–490.
- DLT-2001-HalavaH #morphism
- An Undecidability Result Concerning Periodic Morphisms (VH, TH), pp. 304–310.