Volume 27,
Number 1,
1993
Volume 27,
Number 2,
1993
Volume 27,
Number 3,
1993
Volume 27,
Number 4,
1993
Volume 27,
Number 5,
1993
Volume 27,
Number 6,
1993
- Gianfranco Mascari, F. Pucci:
Autonomous Posets and Quantales.
483-501
- Wafaa Khalil, Robert F. C. Walters:
An Imperative Language Based on Distributive Categories II.
503-522
- Mikael Rittri:
Retrieving Library Functions by Unifying Types Modulo Linear Isomorphism.
523-540
- Uwe Trier:
On the Average Number of Registers Needed to Evaluate a Special Class of Backtrack Trees.
541-554
- Anne Bergeron:
A Unified Approach to Control Problems in Discrete Event Processes.
555-573
Copyright © Tue Dec 8 20:27:17 2009
by Michael Ley (ley@uni-trier.de)