- Faried Abu Zaid
- Erich Grädel
- Lukasz Kaiser
- Wied Pakusa
Theory Comput. Syst., vol. 55 (2014), pp. 856-880
No abstract available; check out the Download or Google Scholar links above for publications details.
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work