![](/img/cover-not-exists.png)
Automatic models of first order theories
Semukhin, Pavel, Stephan, FrankVolume:
164
Language:
english
Journal:
Annals of Pure and Applied Logic
DOI:
10.1016/j.apal.2013.03.001
Date:
September, 2013
File:
PDF, 293 KB
english, 2013