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
Last update Sat May 18 20:26:37 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page