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

Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability

Lichter, Moritz (Corresponding author)^RWTH* ; Pago, Benedikt Thomas (Corresponding author) ; Seppelt, Tim Frederik (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: 36:[1]-36:19

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

Umfang36:[1]-36:19

ISBN978-3-95977-310-2

ReiheLeibniz international proceedings in informatics ; 288

Online
DOI: 10.18154/RWTH-2024-01284
DOI: 10.4230/LIPIcs.CSL.2024.36
10.4230/LIPIcs.CSL.2024.36
URL: https://publications.rwth-aachen.de/record/978422/files/978422.pdf

Einrichtungen

1. Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) (122910)
2. Graduiertenkolleg UnRAVeL (080060)
3. Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) (117220)
4. Fachgruppe Informatik (120000)
5. Fachgruppe Mathematik (110000)

Projekte

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

Inhaltliche Beschreibung (Schlagwörter)
Theory of computation → Finite Model Theory (Genormte SW) ; finite model theory (Genormte SW) ; game comonads (Genormte SW) ; graph isomorphism (Genormte SW) ; homomorphism indistinguishability (Genormte SW) ; invertible-map equivalence (Genormte SW) ; linear-algebraic logic (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-85185218012
WOS Core Collection: WOS:001300390800036

Interne Identnummern
RWTH-2024-01284
Datensatz-ID: 978422

Beteiligte Länder
Germany, UK