External Links

    Journal: SIGLOG News

    Volume 7, Issue 2

    3 -- 0Ranko Lazic. Verification column
    4 -- 14Laure Daviaud. Register complexity and determinisation of max-plus automata
    15 -- 0Jorge A. Pérez. Conference reports
    16 -- 18Diego Calvanese, Paul Fodor, Marco Montali. Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019)
    19 -- 39Daniela Petrisan. SIGLOG monthly 205
    runs on