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.