External Links

    Journal: Inf. Comput.

    Volume 75, Issue 3

    191 -- 231Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep. Needed Reduction and Spine Strategies for the Lambda Calculus
    232 -- 263Dirk Hauschildt, Rüdiger Valk. Safe States in Banker-like Resource Allocations Problems
    264 -- 288Evangelos Kranakis. Fixed Point Equations with Parameters in the Projective Model
    289 -- 327A. W. Roscoe, Naiem Dathi. The Pursuit of Deadlock freedom

    Volume 75, Issue 2

    87 -- 106Dana Angluin. Learning Regular Sets from Queries and Counterexamples
    107 -- 129Rolf Klein, Derick Wood. The Node Visit Cost of Brother Trees
    130 -- 143Gabriel Bracha. Asynchronous Byzantine Agreement Protocols
    144 -- 161Hiroaki Yamamoto, Shoichi Noguchi. Comparison of the Power between Reversal-Bounded ATMs and Reversal-Bounded NTMs
    162 -- 177Yishay Mansour, Shmuel Zaks. On the Bit Complexity of Distributed Computations in a Ring with a Leader
    178 -- 189Marek Karpinski, Rutger Verbeek. On the Monte Carlo Space Constructible Functions and Seperation Results for Probabilistic Complexity Classes

    Volume 75, Issue 1

    1 -- 14David A. Carlson. Time-Space Efficient Algorithms for Computing Convolutions and Related Problems
    15 -- 38Xin He, Yaacov Yesha. Parallel Recognitions and Decomposition of Two Terminal Series Parallel Graphs
    39 -- 51Torben Hagerup. Towards Optimal Parallel Bucket Sorting
    52 -- 64Andrei Z. Broder, Danny Dolev, Michael J. Fischer, Barbara Simons. Efficient Fault-Tolerant Routings in Networks
    65 -- 85Stefan Waner, Yihren Wu. The Hierarchical Structure of Graph Searches
    runs on