Telecharger Cours

Algorithmic Solutions via Model Theoretic Interpretations

Model theoretic interpretations are an important tool in algorithmic model theory. Their applications range from reductions between logical theories to.



Download