default search action
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
Volume 89, Number 2, 1990
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.