Volume XXIX, Issue 2, 2019 Program Algebra for Turing-Machine Programs, pages 113-139 Authors: J.A. Bergstra, C.A. Middelburg Abstract | References | BibTeX | Full Text (PDF) Generalising KAT to Verify Weighted Computations, pages 141-184 Authors: L. Gomes, A. Madeira, L.S. Barbosa Abstract | References | BibTeX | Full Text (PDF) Identifying and Querying Regularly Visited Places, pages 185-201 Authors: A.G. Rudi Abstract | References | BibTeX | Full Text (PDF)
