External Links

    Journal: Inf. Comput.

    Volume 198, Issue 2

    71 -- 147Dario Colazzo, Giorgio Ghelli. Subtyping recursion and parametric polymorphism in kernel fun
    148 -- 178Yoram Hirshfeld, Alexander Moshe Rabinovich. Timer formulas and decidable metric temporal logic

    Volume 198, Issue 1

    1 -- 23Jin-yi Cai, Venkatesan T. Chakaravarthy, Lane A. Hemaspaandra, Mitsunori Ogihara. Competing provers yield improved Karp-Lipton collapse results
    24 -- 39Susanne Albers, Markus Büttner. Integrated prefetching and caching in single and parallel disk systems
    40 -- 55Yves Métivier, Nasser Saheb-Djahromi, Akka Zemmari. Locally guided randomized elections in trees: The totally fair case
    56 -- 70Matthias Galota, Heribert Vollmer. Functions computable in polynomial space
    runs on