Publications

Frederic Reinhardt

2013

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