External Links

    Journal: Inf. Comput.

    Volume 84, Issue 2

    129 -- 162Pierre America, Frank S. de Boer. Proving Total Correctness of Recursive Procedures
    163 -- 206Joost Engelfriet, Grzegorz Rozenberg. A Comparison of Boundary Graph Grammars and Context-Free Hypergraph Grammars
    207 -- 239Shojiro Sakata. Extension of the Berlekamp-Massey Algorithm to N Dimensions

    Volume 84, Issue 1

    1 -- 12George K. Georgakopoulos, Dimitris J. Kavvadias. The Banker s Problem with Precedences
    13 -- 25Samir Khuller. Extending Planar Graph Algorithms to K_3,3-Free Graphs
    26 -- 46Dieter Spreen. Computable One-to-One Enumerations of Effective Domains
    47 -- 70Azeddine Lazrek, Pierre Lescanne, Jean-Jacques Thiel. Tools for Proving Inductive Equalities, Relative Completeness, and omega-Completeness
    71 -- 96Torben Hagerup. Optimal Parallel Algorithms on Planar Graphs
    97 -- 118Yehuda Afek, Gad M. Landau, Baruch Schieber, Moti Yung. The Power of Multimedia: Combining Point-to-Point and Multiaccess Networks
    119 -- 127Jin-yi Cai. A Note on the Determinant and Permanent Problem
    runs on