`Travelled to:`

1 × France

1 × United Kingdom

`Collaborated with:`

D.E.Muller P.E.Schupp

`Talks about:`

automata (2) altern (2) weak (2) exponenti (1) complex (1) theori (1) tempor (1) explan (1) simpl (1) monad (1)

## Person: Ahmed Saoudi

### DBLP: Saoudi:Ahmed

### Contributed to:

### Wrote 2 papers:

- LICS-1988-MullerSS #automaton #decidability #exponential #logic #why
- Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time (DEM, AS, PES), pp. 422–427.
- ICALP-1986-MullerSS #automaton #complexity #monad
- Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity (DEM, AS, PES), pp. 275–283.