External Links

    Journal: Inf. Comput.

    Volume 83, Issue 3

    265 -- 359Steven M. German, Edmund M. Clarke, Joseph Y. Halpern. Reasoning about Procedures as Parameters in the Language L4

    Volume 83, Issue 2

    121 -- 139Neil Immerman, Dexter Kozen. Definability with Bounded Number of Bound Variables
    140 -- 151André Arnold, Srecko Brlek. Optimal Word Chains for the Thue-Morse Word
    152 -- 205Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten. Denotational Semantics of a Parallel Object-Oriented Language
    206 -- 233Michiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas. Maintaining Multiple Representations of Dynamic Data Structures
    234 -- 244Faith E. Fich, Ming Li, Prabhakar Ragde, Yaacov Yesha. On the Power of Concurrent-Write PRAMs With Read-Only Memory
    245 -- 263Yongkyun Cho, Seymour Ginsburg. Decision Problems of Object histories

    Volume 83, Issue 1

    1 -- 20Jonathan S. Turner. Approximation Algorithms for the Shortest Common Superstring Problem
    21 -- 40Toshiya Itoh, Shigeo Tsujii. Structure of Parallel Multipliers for a Class of Fields GF(2^m)
    41 -- 64Maurice Nivat, Ahmed Saoudi. Automata on Infinite Objects and Their Applications to Logic and Programming
    65 -- 79Bernd Voigt, Ingo Wegener. Minimal Polynomials for the Conjunction of Functions on Disjoint Variables Can Be Very Simple
    80 -- 97Rudolf Ahlswede, Zhen Zhang. Coding for Write-Efficient Memory
    98 -- 110Alok Aggarwal, Heather Booth, Joseph O Rourke, Subhash Suri, Chee-Keng Yap. Finding Minimal Convex Nested Polygons
    111 -- 119Vladimir Estivill-Castro, Derick Wood. A New Measure of Presortedness
    runs on