On Decidable and Computable Models of Theories.

Alexander Gavruskin, Bakhadyr Khoussainov

Browse the full CiE paper archive.