External Links

    Journal: Inf. Comput.

    Volume 57, Issue 2/3

    91 -- 101Larry J. Stockmeyer. Optimal Orientations of Cells in Slicing Floorplan Designs
    102 -- 124William G. Golson, William C. Rounds. Connections Between Two Theories of Concurrency: Metric Spaces and Synchronization Trees
    125 -- 147Ursula Goltz, Wolfgang Reisig. The Non-sequential Behavior of Petri Nets
    148 -- 164Mitchell Wand. Loops in Combinator-Based Compilers
    165 -- 179L. Csirmaz. On the Strength of Sometimes and Always in Program Verification
    180 -- 204Etienne Grandjean. Complexity of the First-Order Theory of Almost All Finite Structures
    205 -- 213Antonio Restivo, Christophe Reutenauer. Some Applications of a Theorem of Shirshov to Language Theory

    Volume 57, Issue 1

    1 -- 20Tsutomu Maimiura. Tree Automata and Attribute Grammars
    21 -- 39Dung T. Huynh. Commutative Grammars: The Complexity of Uniform Word Problems
    40 -- 47Stuart A. Kurtz. On the Random Oracle Hypothesis
    48 -- 55Alexei P. Stolboushkin, Michael A. Taitslin. Deterministic Dynamic Logic is Strictly Weaker than Dynamic Logic
    56 -- 89Joseph Y. Halpern. Deterministic Process Logic is Elementary
    runs on