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.