Residuated Transition Systems II: Categorical Properties
From MaRDI portal
This page was built for software: Residuated Transition Systems II: Categorical Properties
Authors Eugene W. Stark
Publication date 16 June 2024
This page was built for software: Residuated Transition Systems II: Categorical Properties