http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth

Fluck, Eva (Corresponding author)^RWTH* ; Seppelt, Tim Frederik (Corresponding author)^RWTH* ; Spitzer, Gian Luca (Corresponding author)^RWTH*

In
32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano Alexandra Silva, Seiten/Artikel-Nr: 27:[1]-27:17

2024

Konferenz/Event:32. EACSL Annual Conference on Computer Science Logic , Naples , Italy , CSL 2024 , 2024-02-19 - 2024-02-23

ImpressumWadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH

Umfang27:[1]-27:17

ISBN978-3-95977-310-2

ReiheLeibniz international proceedings in informatics ; 288

Online
DOI: 10.18154/RWTH-2024-01283
DOI: 10.4230/LIPIcs.CSL.2024.27
10.4230/LIPIcs.CSL.2024.27
URL: https://publications.rwth-aachen.de/record/978421/files/978421.pdf

Einrichtungen

1. Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) (122910)
2. Graduiertenkolleg UnRAVeL (080060)
3. Fachgruppe Informatik (120000)

Projekte

1. SymSim - Symmetry and Similarity (101054974) (101054974)

Inhaltliche Beschreibung (Schlagwörter)
Mathematics of computing → Graph theory (Genormte SW) ; Theory of computation → Finite Model Theory (Genormte SW) ; Treewidth (Genormte SW) ; counting first-order logic (Genormte SW) ; homomorphism indistinguishability (Genormte SW) ; treedepth (Genormte SW)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85185225273
WOS Core Collection: WOS:001300390800027

Interne Identnummern
RWTH-2024-01283
Datensatz-ID: 978421

Beteiligte Länder
Germany