Media type: E-Book Title: Algorithmic Solutions via Model Theoretic Interpretations Other titles: Algorithmische Lösungskonzepte basierend auf modelltheoretischen Interpretationen Contributor: Abu Zaid, Faried [Verfasser]; Grädel, Erich [Akademischer Betreuer]; Kuske, Dietrich [Akademischer Betreuer] imprint: Aachen: Universitätsbibliothek der RWTH Aachen, 2016 Extent: Online-Ressource Language: English DOI: 10.18154/RWTH-2017-07663 Identifier: Origination: University thesis: Dissertation, RWTH Aachen University, 2016 Footnote: Access State: Open Access