Publications

Frederic Reinhardt

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.             

2013

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