A Logic that Captures $\beta$P on Ordered Structures
From MaRDI portal
Publication:6330718
arXiv1912.03841MaRDI QIDQ6330718
Publication date: 8 December 2019
68Q19: Descriptive complexity and finite models
arXiv1912.03841MaRDI QIDQ6330718
Publication date: 8 December 2019
68Q19: Descriptive complexity and finite models