2026-05-04 15:43 |
|
2026-05-04 11:46 |
|
2026-05-04 09:59 |
-
Symmetric Proofs in the Ideal Proof System
Dawar, A. (Corresponding author) ; Grädel, E. (Corresponding author) ; Kullmann, L. (Corresponding author) ; Pago, B. (Corresponding author)
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
DOI: 10.4230/LIPICS.MFCS.2025.40
Contribution to a book/Contribution to a conference proceedings
2025
|
2026-04-30 12:14 |
|
2026-04-27 15:30 |
|
2026-04-27 15:25 |
|
2026-04-27 12:14 |
|
2026-04-27 11:30 |
|
2026-04-20 15:28 |
|
2026-04-13 10:16 |
|
|
|