Information and Computation
, Volume 89
Volume 89, Number 1, 1990
Mads Tofte
: Type Inference for Polymorphic References. 1-34
BibTeX
Marek Zaionc
: A Characterisation of Lambda Definable Tree Operations. 35-46
BibTeX
Rudolf Ahlswede
,
Jian-ping Ye
,
Zhen Zhang
: Creating Order in Sequence Spaces with Simple Machines. 47-94
BibTeX
Volume 89, Number 2, 1990
Daniel Leivant
: Inductive Definitions Over Finite Structures. 95-108
BibTeX
David A. Mix Barrington
,
Howard Straubing
,
Denis Thérien
: Non-Uniform Automata Over Groups. 109-132
BibTeX
Bogdan S. Chlebus
: Turing Machines With Access to History. 133-143
BibTeX
Alain Finkel
: Reduction and covering of infinite reachability trees. 144-179
BibTeX
Hai-Ning Liu
,
Celia Wrathall
,
Kenneth Zeger
: Efficient Solution to Some Problems in Free Partially Commutative Monoids. 180-198
BibTeX
Copyright ©
Sat May 16 23:59:56 2009 by
Michael Ley
(
ley@uni-trier.de
)