Collaborated with:E.Grädel F.Reinhardt D.Kuske P.Lindner
Talks about:automat (3) structur (2) class (2) elementari (1) uniform (1) complex (1) theori (1) climb (1) advic (1) up (1)
Person: Faried Abu Zaid
DBLP: Zaid:Faried_Abu
Contributed to:
20172018Wrote 2 papers:
- CSL-2017-ZaidGR #automation
- Advice Automatic Structures and Uniformly Automatic Classes (FAZ, EG, FR), p. 20.
- CSL-2018-ZaidKL #automation #complexity
- Climbing up the Elementary Complexity Classes with Theories of Automatic Structures (FAZ, DK, PL), p. 16.