External Links

    Journal: Inf. Comput.

    Volume 165, Issue 2

    119 -- 122Samson Abramsky, Luca Aceto, Anna Ingólfsdóttir. Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218
    123 -- 143Kieran T. Herley, Andrea Pietracaprina, Geppino Pucci. Implementing Shared Memory on Mesh-Connected Computers and on the Fat-Tree
    144 -- 173Roberto Baldoni, Jean-Michel Hélary, Michel Raynal. Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol
    174 -- 182Alberto Bertoni, Marco Carpentieri. Regular Languages Accepted by Quantum Automata
    183 -- 207Georg Gottlob, Reinhard Pichler. Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models

    Volume 165, Issue 1

    1 -- 13Giovanni Pighizzini. How Hard Is Computing the Edit Distance?
    14 -- 41François Fages, Paul Ruet, Sylvain Soliman. Linear Concurrent Constraint Programming: Operational and Phase Semantics
    42 -- 68Vincenzo Auletta, Pino Persiano. Optimal Pebble Motion on a Tree
    69 -- 99Werner Kuich. Pushdown Tree Automata, Algebraic Tree Systems, and Algebraic Tree Series
    100 -- 116Rosario Gennaro, Pankaj Rohatgi. How to Sign Digital Streams
    runs on