Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers, pages 1-24

Authors: J.A. Bergstra

Abstract | References | BibTeX | Full Text (PDF)

An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs, pages 25-37

Authors: S. Das

Abstract | References | BibTeX | Full Text (PDF)

A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation, pages 39-67

Authors: S. Das

Abstract | References | BibTeX | Full Text (PDF)

A Complete Axiomatisation for Probabilistic Trace Equivalence, pages 69-104

Authors: F. Timmers, J.F. Groote

Abstract | References | BibTeX | Full Text (PDF)