Travelled to:
1 × Spain
Collaborated with:
M.Droste
Talks about:
automata (1) infinit (1) weight (1) logic (1) word (1) nest (1)
Person: Stefan Dück
DBLP: D=uuml=ck:Stefan
Contributed to:
Wrote 1 papers:
- LATA-2014-DrosteD #automaton #infinity #logic #word
- Weighted Automata and Logics for Infinite Nested Words (MD, SD), pp. 323–334.