Descriptive complexity of controllable graphs.

Aida Abiad, Anuj Dawar, Octavio Zapata

Browse the full LAGOS paper archive.