Co-Decompositions and FO Model Checking

Benjamin Merlin Bumpus, Guilherme C. M. Gomes, Laura Larios-Jones, Will J. Turner

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать. Препринт может ещё не пройти рецензирование; проверьте, появилась ли журнальная версия.