Travelled to:
1 × Germany
Collaborated with:
O.Grumberg O.Kupferman
Talks about:
automata (1) alphabet (1) variabl (1) infinit (1)
Person: Sarai Sheinvald
DBLP: Sheinvald:Sarai
Contributed to:
Wrote 1 papers:
- LATA-2010-GrumbergKS #automaton #infinity
- Variable Automata over Infinite Alphabets (OG, OK, SS), pp. 561–572.