Decidability of Definability

Cite this paper

@article{Bodirsky2011DecidabilityOD, title={Decidability of Definability}, author={Manuel Bodirsky and Michael Pinsker and Todor Tsankov}, journal={2011 IEEE 26th Annual Symposium on Logic in Computer Science}, year={2011}, pages={321-328} }