ConferencePaper
 (2017)

Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion

Kreutzer, Stephan; Pilipczuk, Michal

Más información

Editorial: IEEE
Fecha de publicación: 2017
Año de Inicio/Término: 20-23 June 2017
URL: https://ieeexplore.ieee.org/document/8005115