Travelled to:
1 × Japan
Collaborated with:
B.Khoussainov
Talks about:
reachabl (1) intrins (1) decid (1) when (1)
Person: Barbara F. Csima
DBLP: Csima:Barbara_F=
Contributed to:
Wrote 1 papers:
- DLT-2008-CsimaK #decidability #question #reachability
- When Is Reachability Intrinsically Decidable? (BFC, BK), pp. 216–227.