External Links

    Journal: SIGLOG News

    Volume 2, Issue 2

    3 -- 0Mikolaj Bojanczyk. Automata column
    4 -- 13Joël Ouaknine, James Worrell. On linear recurrence sequences and loop termination
    14 -- 15Michael W. Mislove. Semantics column
    16 -- 27Alexandra Silva 0001. A short introduction to the coalgebraic method
    28 -- 0Neha Rungta. Verification column
    29 -- 38Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas. Algorithmic logic-based verification
    runs on