Travelled to:
1 × France
Collaborated with:
U.Boker O.Kupferman
Talks about:
automata (1) altern (1) remov (1) büchi (1)
Person: Adin Rosenberg
DBLP: Rosenberg:Adin
Contributed to:
Wrote 1 papers:
- ICALP-v2-2010-BokerKR #automaton
- Alternation Removal in Büchi Automata (UB, OK, AR), pp. 76–87.