Existential Second-Order Logic over Graphs: Parameterized Complexity.

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2023",

doi = "10.4230/LIPICS.IPEC.2023.3",

language = "English",

pages = "3:1--3:15",

}

TY - CONF

T1 - Existential Second-Order Logic over Graphs: Parameterized Complexity.

AU - Bannach, Max

AU - Chudigiewitsch, Florian

AU - Tantau, Till

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2023

Y1 - 2023

U2 - 10.4230/LIPICS.IPEC.2023.3

DO - 10.4230/LIPICS.IPEC.2023.3

M3 - Conference Papers

SP - 3:1-3:15

ER -