Algorithmic Solutions via Model Theoretic Interpretations

Aachen (2016, 2017) [Dissertation / PhD Thesis]

Page(s): 1 Online-Ressource (199 Seiten) : Illustrationen

Authors

Authors

Abu Zaid, Faried

Advisors

Grädel, Erich
Kuske, Dietrich