Existential Second-Order Logic over Graphs: Parameterized Complexity.

Max Bannach; Florian Chudigiewitsch; Till Tantau

doi:10.4230/LIPICS.IPEC.2023.3

Existential Second-Order Logic over Graphs: Parameterized Complexity.

Max Bannach, Florian Chudigiewitsch, Till Tantau

Institute of Theoretical Computer Science

Original language	English
Pages	3:1-3:15
DOIs	https://doi.org/10.4230/LIPICS.IPEC.2023.3
Publication status	Published - 2023

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.4230/LIPICS.IPEC.2023.3

https://dblp.org/rec/conf/iwpec/BannachCT23

Cite this

@conference{f5f69a40fe8d4bd6b4ba611b4f3262ad,

title = "Existential Second-Order Logic over Graphs: Parameterized Complexity.",

author = "Max Bannach and Florian Chudigiewitsch and Till Tantau",

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 -