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
    runs on