External Links

    Journal: Inf. Comput.

    Volume 89, Issue 2

    95 -- 108Daniel Leivant. Inductive Definitions Over Finite Structures
    109 -- 132David A. Mix Barrington, Howard Straubing, Denis Thérien. Non-Uniform Automata Over Groups
    133 -- 143Bogdan S. Chlebus. Turing Machines With Access to History
    144 -- 179Alain Finkel. Reduction and covering of infinite reachability trees
    180 -- 198Hai-Ning Liu, Celia Wrathall, Kenneth Zeger. Efficient Solution to Some Problems in Free Partially Commutative Monoids

    Volume 89, Issue 1

    1 -- 34Mads Tofte. Type Inference for Polymorphic References
    35 -- 46Marek Zaionc. A Characterisation of Lambda Definable Tree Operations
    47 -- 94Rudolf Ahlswede, Jian-ping Ye, Zhen Zhang. Creating Order in Sequence Spaces with Simple Machines
    runs on