Relevant S is Undecidable

Søren Brinck Knudstorp. Relevant S is Undecidable. In Pawel Sobocinski 0001, Ugo Dal Lago, Javier Esparza, editors, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024. ACM, 2024. [doi]

Abstract

Abstract is missing.