Galatos, N., Jipsen, P., Knudstorp, S. B., & Ramanayake, R. (2026). The logic of bunched implications is undecidable.
Chicago Style (17th ed.) CitationGalatos, Nick, Peter Jipsen, Søren Brinck Knudstorp, and Revantha Ramanayake. The Logic of Bunched Implications Is Undecidable. 2026.
MLA (9th ed.) CitationGalatos, Nick, et al. The Logic of Bunched Implications Is Undecidable. 2026.
Warning: These citations may not always be 100% accurate.