Volume 26, Number 1, April 1996
Volume 26, Number 2, May 1996
- Wan Fokkink:
A Complete Axiomatization for Prefix Iteration in Branching Bisimulation.
- Yuxi Fu:
Recursive Models of General Inductive Types.
- Peter M. W. Knijnenburg:
A Note on the Smyth Powerdomain Construction.
- Steffen van Bakel:
Rank 2 Intersection Type Assignment in Term Rewriting Systems.
- Beata Konikowska:
McCarthy Algebras: A Model of McCarthy's Logical Calculus.
Volume 26, Number 3/4, June 1996 Special Issue:
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