Christina Mika-Michalski

From MaRDI portal
Person:2104472

Available identifiers

zbMath Open mika-michalski.christinaMaRDI QIDQ2104472

List of research outcomes





PublicationDate of PublicationType
Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic2022-12-07Paper
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras2021-08-04Paper
Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas2021-02-22Paper

Research outcomes over time

This page was built for person: Christina Mika-Michalski

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2104472&oldid=6758866"
Powered by MediaWiki