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

Symmetric Proofs in the Ideal Proof System

Dawar, Anuj (Corresponding author) ; Grädel, Erich (Corresponding author)^RWTH* ; Kullmann, Leon (Corresponding author)^RWTH* ; Pago, Benedikt (Corresponding author)

In
50th International Symposium on Mathematical Foundations of Computer Science : MFCS 2025, August 25-29, 2025, Warsaw, Poland / edited by Paweł Gawrychowski, Filip Mazowiecki, Michał Skrzypczak, Seiten/Artikel-Nr: 40:1-40:18

2025

Konferenz/Event:50. International Symposium on Mathematical Foundations of Computer Science , Warsaw , Poland , MFCS 2025 , 2025-08-25 - 2025-08-29

ImpressumSaarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing

Umfang40:1-40:18

ISBN978-3-95977-388-1

ReiheLeibniz international proceedings in informatics ; 345

Online
DOI: 10.4230/LIPICS.MFCS.2025.40
10.4230/LIPICS.MFCS.2025.40
DOI: 10.18154/RWTH-2026-04720
URL: https://publications.rwth-aachen.de/record/1034443/files/1034443.pdf

Einrichtungen

1. Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) (117220)
2. Fachgruppe Mathematik (110000)

Inhaltliche Beschreibung (Schlagwörter)
Theory of computation → Algebraic complexity theory (Genormte SW) ; Theory of computation → Finite Model Theory (Genormte SW) ; Theory of computation → Proof complexity (Genormte SW) ; algebraic complexity (Genormte SW) ; descriptive complexity (Genormte SW) ; graph isomorphism (Genormte SW) ; proof complexity (Genormte SW) ; symmetric circuits (Genormte SW)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer review status of article unknown

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105014727767
WOS Core Collection: WOS:001737701200040

Interne Identnummern
RWTH-2026-04720
Datensatz-ID: 1034443

Beteiligte Länder
Germany, UK