TY  - RPRT
TI  - Descriptive complexity of graph spectra
AU  - Anuj Dawar
AU  - Simone Severini
AU  - Octavio Zapata
PY  - 2016
DO  - 10.1007/978-3-662-52921-8_12
UR  - https://arxiv.org/abs/1603.07030
ID  - 1603.07030
ER  -