Travelled to:1 × Finland
Collaborated with:∅
Talks about:languag (1) equival (1) replic (1) ration (1) decid (1) dgsm (1)
Person: Paavo Turakainen
DBLP: Turakainen:Paavo
Contributed to:
Wrote 1 papers:
- ICALP-1988-Turakainen #decidability #equivalence
- The Equivalence of DGSM Replications on Q-Rational Languages is Decidable (PT), pp. 654–666.












