External Links

    Journal: Logical Methods in Computer Science

    Volume 1, Issue 3

    0 -- 0Daniele Gorla, Matthew Hennessy, Vladimiro Sassone. Security Policies as Membranes in Systems for Global Computing
    0 -- 0Christopher Hardin. Modularizing the Elimination of r=0 in Kleene Algebra
    0 -- 0Bas Spitters. Almost periodic functions, constructively
    0 -- 0Joseph Y. Halpern, Riccardo Pucella. Probabilistic Algorithmic Knowledge

    Volume 1, Issue 2

    0 -- 0Erik Palmgren. Internalising modified realisability in constructive type theory
    0 -- 0Dag Normann. Comparing hierarchies of total functionals
    0 -- 0Sanjit A. Seshia, Randal E. Bryant. Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
    0 -- 0Venanzio Capretta. General recursion via coinductive types
    0 -- 0Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy. An Operational Foundation for Delimited Continuations in the CPS Hierarchy
    0 -- 0Ulrich Berger. Strong normalization for applied lambda calculi

    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