% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@INPROCEEDINGS{Pago:955509,
author = {Pago, Benedikt Thomas},
title = {{F}inite {M}odel {T}heory and {P}roof {C}omplexity
{R}evisited : {D}istinguishing {G}raphs in {C}hoiceless
{P}olynomial {T}ime and the {E}xtended {P}olynomial
{C}alculus},
volume = {252},
address = {Wadern},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH},
reportid = {RWTH-2023-03532},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
pages = {31:1-31:19},
year = {2023},
comment = {31st EACSL Annual Conference on Computer Science Logic :
CSL 2023, February 13-16, 2023, Warsaw, Poland / edited by
Bartek Klin, Elaine Pimentel},
booktitle = {31st EACSL Annual Conference on
Computer Science Logic : CSL 2023,
February 13-16, 2023, Warsaw, Poland /
edited by Bartek Klin, Elaine Pimentel},
month = {Feb},
date = {2023-02-13},
organization = {31. EACSL Annual Conference on
Computer Science Logic, Warsaw
(Poland), 13 Feb 2023 - 16 Feb 2023},
keywords = {Theory of computation → Finite Model Theory (Other) /
finite model theory (Other) / graph isomorphism (Other) /
proof complexity (Other)},
cin = {117220 / 110000},
cid = {$I:(DE-82)117220_20140620$ / $I:(DE-82)110000_20140620$},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
doi = {10.4230/LIPICS.CSL.2023.31},
url = {https://publications.rwth-aachen.de/record/955509},
}
Gast ::