External Links

    Journal: SIGLOG News

    Volume 9, Issue 4

    1 -- 0Andrzej S. Murawski. From the Editor
    2 -- 3Dexter Kozen. 2022 Alonzo Church Award Announcement
    4 -- 0Mahesh Viswanathan 0001. Automata Column
    5 -- 25Andreas Pavlogiannis. CFL/Dyck Reachability: An Algorithmic Perspective
    26 -- 0Ranko Lazic 0001. Verification Column
    27 -- 43Mahsa Shirmohammadi. A Beginner's Tutorial on Strategy Complexity in Stochastic Games: Can the King Cautiously Eliminate Robin Hood?
    44 -- 49David Purser. SIGLOG Monthly 230
    runs on