Search results
The page ""ACM SIGLOG News" journal" does not exist. You can create a draft and submit it for review or request that a redirect be created, but consider checking the search results below to see whether the topic is already covered.
Panangaden, Prakash (28 July 2017). "2017 LICS test-of-time award". ACM SIGLOG News. 4 (3): 10. doi:10.1145/3129173.3129175. S2CID 41881342. Royal Society...9 KB (873 words) - 16:54, 15 November 2023- ISBN 978-1-4020-1730-8. Levy, Paul Blain (April 2022). "Call-by-push-value". ACM SIGLOG News. 9 (2): 7–29. doi:10.1145/3537668.3537670. Pédrot, Pierre-Marie; Tabareau...11 KB (1,441 words) - 11:41, 21 July 2024
- Christoph (2018). "A Survival Guide to Presburger Arithmetic" (PDF). ACM SIGLOG News. 5 (3): 67–82. doi:10.1145/3242953.3242964. S2CID 51847374. Hoang,...24 KB (3,225 words) - 06:53, 22 July 2024
