Existential second-order logic over graphs: charting the tractability frontier

DOI10.1109/SFCS.2000.892334MaRDI QIDQ7239996zbMATH OpenFDO

Authors Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick

Publication date 8 May 2026

Full work available at URL https://doi.org/10.1109/SFCS.2000.892334

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Existential second-order logic over graphs: charting the tractability frontier

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7239996)