Travelled to:
1 × Switzerland
Collaborated with:
∅
Talks about:
determinist (1) languag (1) rabin (1) decid (1) class (1) büchi (1)
Person: Tomasz Fryderyk Urbanski
DBLP: Urbanski:Tomasz_Fryderyk
Contributed to:
Wrote 1 papers:
- ICALP-2000-Urbanski #automaton #on the
- On Deciding if Deterministic Rabin Language Is in Büchi Class (TFU), pp. 663–674.