External Links

    Journal: SIGLOG News

    Volume 5, Issue 1

    13 -- 0Mikolaj Bojanczyk. Automata column
    14 -- 18Wolfgang Thomas. Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor
    19 -- 0Neha Rungta. Verification column
    20 -- 0Jorge A. Pérez. Conference reports
    21 -- 22Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos 0001. Brasilia Spring on Automated Reasoning
    23 -- 49Daniela Petrisan. SIGLOG monthly 198
    runs on