哈什·贝哈尔;巴巴拉·科尼格;塞巴斯蒂安·库珀;米卡·米查尔斯基，克里斯蒂娜 副作用余代数的谓词和关系提升：余代数模态逻辑中的应用。 （英语） Zbl 07628064号 Hansen，Helle Hvid（编辑）等，《计算机科学中的协同代数方法》。第16届IFIP工作组1.3国际研讨会，CMCS 2022，与ETAPS 2022共同举办，德国慕尼黑，2022年4月2日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13225, 1-22 (2022).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Beohar}等人，Lect。注释计算。科学。13225，1--22（2022；Zbl 07628064） 全文： 内政部 arXiv公司
巴巴拉·科尼格;米卡·迈克尔斯基，克里斯蒂娜 余代数的（度量）互模拟游戏和实值模态逻辑。 （英语） Zbl 1520.68096号 Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第37条，第17页（2018年）。MSC公司：68问题85 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.König}和\textit{C.Mika-Michalski}，LIPIcs--Leibniz国际程序。通知。118，第37条，第17页（2018；兹bl 1520.68096） 全文： 内政部 arXiv公司