Logical aspects of isomorphism of controllable graphs and cospectrality of distance-regularized graphs

Aida Abiad, Anuj Dawar, Octavio B. Zapata-Fonseca

We consider isomorphism of controllable graphs and cospectrality of distance-regularized graphs (which are known to be distance-regular or distance-biregular) in relation to logica…