Travelled to:
1 × Estonia
Collaborated with:
C.Löding J.Olschewski
Talks about:
complement (1) ramsey (1) improv (1) büchi (1) base (1)
Person: Stefan Breuers
DBLP: Breuers:Stefan
Contributed to:
Wrote 1 papers:
- FoSSaCS-2012-BreuersLO #automaton
- Improved Ramsey-Based Büchi Complementation (SB, CL, JO), pp. 150–164.