Residuated Transition Systems II: Categorical Properties

From MaRDI portal










This page was built for software: Residuated Transition Systems II: Categorical Properties