Proof Compression via Subatomic Logic and Guarded Substitutions

Ben Ralph, Alessio Guglielmi, Victoria Barrett, Lutz Strassburger

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Acceptance date - 8 Apr 2025
Event	Fortieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Singapore, Singapore Duration: 23 Jun 2025 → 26 Jun 2025 https://lics.siglog.org/lics25/

Conference	Fortieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Abbreviated title	LICS 2025
Country/Territory	Singapore
Period	23/06/25 → 26/06/25
Internet address	https://lics.siglog.org/lics25/

Cite this

@conference{736c90ac13f340ebb8981fe4a5dd45b3,

title = "Proof Compression via Subatomic Logic and Guarded Substitutions",

author = "Ben Ralph and Alessio Guglielmi and Victoria Barrett and Lutz Strassburger",

year = "2025",

month = apr,

day = "8",

language = "English",

note = "Fortieth Annual ACM/IEEE Symposium on<br/>Logic in Computer Science (LICS), LICS 2025 ; Conference date: 23-06-2025 Through 26-06-2025",

url = "https://lics.siglog.org/lics25/",

}