Volume 26,
Number 1,
April 1996
Volume 26,
Number 2,
May 1996
- Wan Fokkink:
A Complete Axiomatization for Prefix Iteration in Branching Bisimulation.
103-113
- Yuxi Fu:
Recursive Models of General Inductive Types.
115-131
- Peter M. W. Knijnenburg:
A Note on the Smyth Powerdomain Construction.
133-139
- Steffen van Bakel:
Rank 2 Intersection Type Assignment in Term Rewriting Systems.
141-166
- Beata Konikowska:
McCarthy Algebras: A Model of McCarthy's Logical Calculus.
167-203
Volume 26,
Number 3/4,
June 1996
Special Issue:
Graph Transformations
Copyright © Tue Dec 1 16:31:44 2009
by Michael Ley (ley@uni-trier.de)