Boolean-Valued Multiagent Coalgebraic Logic
DSpace/Manakin Repository
Boolean-Valued Multiagent Coalgebraic Logic
Kurz, Alexander; Motamed, Nima
(2022) Short Contributions of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022)
(Part of book)
Download/Full Text
Open Access version via Utrecht University Repository
Publisher version
(Peer reviewed)
See
more statistics
about this item