Restriction in Program Algebra

Marcel Jackson, Tim Stokes 0001. Restriction in Program Algebra. Logic Journal of the IGPL, 31(5):926-960, September 2023. [doi]

Abstract

Abstract is missing.