External Links

    Journal: SIGLOG News

    Volume 5, Issue 2

    3 -- 0Mikolaj Bojanczyk. Automata column
    4 -- 16Diego Figueira. Satisfiability of Xpath on data trees
    17 -- 19Michael Mislove. Semantics column
    20 -- 35Jane Hillston. Stochastic process algebras and their markovian semantics
    36 -- 0Ranko Lazic. Verification column
    37 -- 56Alin Deutsch, Richard Hull 0001, Yuliang Li, Victor Vianu. Automatic verification of database-centric systems
    57 -- 0Jorge A. Pérez. Conference reports
    58 -- 60Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake. semantics, proof theory, and applications. report on the second SYSMICS workshop
    61 -- 93Daniela Petrisan. SIGLOG monthly 199
    runs on