MaRDI QIDQ5028434
Mateus de Oliveira Oliveira
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/2001.00758
zbMATH Keywords
algorithmic metatheorems; bidimensionality; graph completion; CMSO logic
Mathematics Subject Classification ID
03B70: Logic in computer science
68-XX: Computer science