巴巴拉·科尼格;米卡·米查尔斯基，克里斯蒂娜 余代数的（度量）互模拟游戏和实值模态逻辑。 （英语） 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公司
一郎·哈索;Toshiki Kataoka;肯塔·乔 共导谓词和断句中的最终序列。 （英语） Zbl 1386.68103号 数学。结构。计算。科学。 28，第4号，562-611（2018）.MSC公司：68问题65 03G30型 18B20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Hasuo}等人，数学。结构。计算。科学。28，第4号，562--611（2018；Zbl 1386.68103） 全文： 内政部
一郎·哈索;肯塔·乔;Toshiki Kataoka 共导谓词和断句中的最终序列。 （英语） Zbl 1334.68136号 Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记298197-214（2013）。MSC公司：68问题65 03B70号 03G30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Hasuo}等人，《电子》。注释Theor。计算。科学。298197-214（2013年；Zbl 1334.68136） 全文： 内政部