Publications

2017

• F. Abu Zaid, E. Grädel, and F. Reinhardt. Advice Automatic Structures and Uniformly Automatic Classes. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017.             
  BibTeX

  @inproceedings{AbuGraRei17,
       author = {Faried {Abu Zaid} and Erich Gr{\"a}del and Frederic Reinhardt},
       title = {{Advice Automatic Structures and Uniformly Automatic Classes}},
       url = {http://www.logic.rwth-aachen.de/pub/abuzaid/AbuGraRei17.pdf},
       booktitle = {{26th EACSL Annual Conference on Computer Science Logic (CSL 2017)}},
       year = {2017},
  }
  

2013

• F. Reinhardt. Automatic Structures with Parameters. Diploma thesis, RWTH-Aachen, 2013.             
  BibTeX

  @misc{Reinhardt13,
       author = {Frederic Reinhardt},
       howpublished = {Diploma thesis, RWTH-Aachen},
       title = {{Automatic Structures with Parameters}},
       url = {http://logic.rwth-aachen.de/pub/reinhardt/Diplomarbeit.pdf},
       year = {2013},
  }