Residuated Transition Systems

Eugene W. Stark. Residuated Transition Systems. Archive of Formal Proofs, 2022, 2022. [doi]

Abstract

Abstract is missing.