Publikationen
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.