Algorithmic Solutions via Model Theoretic Interpretations

Aachen (2017) [Doktorarbeit]

Authors

Selected Authors

Abu Zaid, Faried

Identifier

  • REPORT NUMBER: RWTH-2017-07663