External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 68, Issue 6

    1 -- 18Hans Hüttel. Modal Logics for Cryptographic Processes
    19 -- 39Jitka Stríbrná, Ivana Cerná. Modifications of Expansion Trees for Weak Bisimulation in BPA
    40 -- 54Thomas Colcombet. Rewriting in the partial algebra of typed terms modulo AC
    55 -- 70Chloe Rispal. The synchronized graphs trace the context-sensitive languages
    71 -- 84Thierry Cachat. Uniform Solution of Parity Games on Prefix-Recognizable Graphs
    85 -- 106Alain Finkel, Jean-François Raskin, Mathias Samuelides, Laurent Van Begin. Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited
    107 -- 108Antonín Kucera, Richard Mayr. Preface
    runs on