Information and Computation, Volume 89

Volume 89, Number 1, 1990

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

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