External Links

    Journal: SIGLOG News

    Volume 2, Issue 3

    4 -- 17Thomas Place, Marc Zeitoun. The tale of the quantifier alternation hierarchy of first-order logic over words
    19 -- 44Jakob Nordström. On the interplay between proof complexity and SAT solving
    46 -- 69Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. Location privacy via geo-indistinguishability
    72 -- 84Prakash Panangaden. Probabilistic bisimulation
    runs on