External Links

    Journal: Inf. Comput.

    Volume 181, Issue 2

    75 -- 87Jop F. Sibeyn. List-ranking on interconnection networks
    88 -- 98Guozhu Dong, Leonid Libkin, Limsoon Wong. Incremental recomputation in local languages
    99 -- 130Nicolas Peltier. Extracting models from clause sets saturated under semantic refinements of the resolution rule

    Volume 181, Issue 1

    1 -- 31Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre. Well-abstracted transition systems: application to FIFO automata
    32 -- 56Peter Hertling, Klaus Weihrauch. Random elements in effective topological spaces with measure
    57 -- 74Amihood Amir, Richard Cole, Ramesh Hariharan, Moshe Lewenstein, Ely Porat. Overlap matching
    runs on