Workshop on logic, language, and computation in 2025 highlights trends in computer science and education.
Journal Article 31st workshop on logic, language, information, and computation (WoLLIC 2025) Get access Dexter Kozen , Dexter Kozen Computer Science, Cornell University, Ithaca, NY 14853-7501, USA Search for other works by this author on: Oxford Academic Google Scholar Ruy de Queiroz Ruy de Queiroz Universidade Federal de Pernambuco, Centro de Informática, Recife PE, 50740-560, Brazil Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 33, Issue 5, October 2025, jzaf063, https://doi.org/10.1093/jigpal/jzaf063 Published: 20 August 2025 Article history Received: 15 July 2025 Accepted: 15 July 2025 Published: 20 August 2025
No takes yet. Share an insight, caveat, or question.
Kozen et al. (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: