Volume XXX, Issue 1, 2020

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

Authors: J.A. Bergstra

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

Authors: S. Das

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

Authors: S. Das

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

Authors: F. Timmers, J.F. Groote