arXiv1912.03841MaRDI QIDQ6330718
Unnamed Author, Zhao, Xishun
Publication date: 8 December 2019
Mathematics Subject Classification ID
Descriptive complexity and finite models (68Q19)