Proof Compression via Subatomic Logic and Guarded Substitutions

Ben Ralph, Alessio Guglielmi, Victoria Barrett, Lutz Strassburger

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Publication statusAcceptance date - 8 Apr 2025
EventFortieth Annual ACM/IEEE Symposium on
Logic in Computer Science (LICS)
- Singapore, Singapore
Duration: 23 Jun 202526 Jun 2025
https://lics.siglog.org/lics25/

Conference

ConferenceFortieth Annual ACM/IEEE Symposium on
Logic in Computer Science (LICS)
Abbreviated titleLICS 2025
Country/TerritorySingapore
Period23/06/2526/06/25
Internet address

Cite this