External Links

    Journal: Inf. Comput.

    Volume 139, Issue 2

    111 -- 129Alexander Moshe Rabinovich. Complexity of Equivalence Problems for Concurrent Systems of Finite Agents
    130 -- 153Symeon Bozapalidis. Positive Tree Representations and Applications to Tree Automata
    154 -- 233Zena M. Ariola, Jan Willem Klop. Lambda Calculus with Explicit Recursion
    234 -- 257Maren Hinrichs, Gerd Wechsung. Time Bounded Frequency Computations
    258 -- 268Sergio De Agostino, Riccardo Silvestri. A Worst-Case Analysis of the LZ2 Compression Algorithm

    Volume 139, Issue 1

    1 -- 16Yonatan Aumann, Michael A. Bender, Lisa Zhang. Efficient Execution of Nondeterministic Parallel Programs on Asynchronous Systems
    17 -- 38Christiane Frougny. On the Sequentiality of the Successor Function
    39 -- 56Giorgio Ghelli. Termination of System F-bounded: A Complete Proof
    57 -- 61Franco Barbanera, Stefano Berardi. The Simply-Typed Theory of Beta-Conversion has no Maximum Extension
    62 -- 91Stephen L. Bloom, Zoltán Ésik. Axiomatizing Shuffle and Concatenation in Languages
    92 -- 109Hans Leo Bodlaender, Jan van Leeuwen, Richard B. Tan, Dimitrios M. Thilikos. On Interval Routing Schemes and Treewidth
    runs on