scientific article; zbMATH DE number 7204325

DOI10.4230/LIPIcs.CSL.2017.33zbMath1440.68113MaRDI QIDQ5111201

Mateus de Oliveira Oliveira

Publication date: 26 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithmic metatheoremsbidimensionalitygraph completionCMSO-logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Planar graphs; geometric and topological aspects of graph theory (05C10) Logic in computer science (03B70) Graph algorithms (graph-theoretic aspects) (05C85) Higher-order logic (03B16) Parameterized complexity, tractability and kernelization (68Q27)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: