External Links

    Journal: Logical Methods in Computer Science

    Volume 1, Issue 1

    0 -- 0Alan Jeffrey, Julian Rathke. Contextual equivalence for higher-order pi-calculus revisited
    0 -- 0Víctor Dalmau. Linear datalog and bounded path duality of relational structures
    0 -- 0Michael Huth. Labelled transition systems as a Stone space
    0 -- 0Martin Grohe, Nicole Schweikardt. The succinctness of first-order logic on linear orders
    0 -- 0Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik. Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy s merge
    0 -- 0Jörg Flum, Martin Grohe. Model-checking problems as a basis for parameterized intractability
    runs on