卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingófsdóttir，安娜 一阶分支时间属性的双向运行时强制。 （英语） Zbl 07667087号 日志。方法计算。科学。 19，第1号，第14号文件，第44页（2023）。MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，日志。方法计算。科学。19，第1号，第14号论文，44页（2023；Zbl 07667087） 全文： 内政部 arXiv公司 OA许可证
巴托克·克林;Łełyk，马特乌斯 原子的标量和向量演算。 （英语） Zbl 1442.68108号 日志。方法计算。科学。 15，第4号，第5号论文，47页（2019年）。MSC公司：60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}和\textit{M.eyk}，日志。方法计算。科学。15，第4号，第5号论文，47页（2019年；Zbl 1442.68108） 全文： arXiv公司
玛丽亚·乔昂·古韦亚;路易吉·桑托卡纳莱 \（\aleph_1）和模态演算。 （英语） Zbl 1454.03027号 日志。方法计算。科学。 15，第4号，第1号论文，34页（2019年）。MSC公司：03B45号 03日70 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gouveia}和\textit{L.Santocanale}，Log。方法计算。科学。15，第4号，第1号论文，34页（2019年；Zbl 1454.03027） 全文： arXiv公司
方丹，盖勒;维尼马，伊德 模态演算的一些模型理论：语义属性的句法特征。 （英语） Zbl 1459.03022号 日志。方法计算。科学。 14，第1号，第14号论文，51页（2018年）。MSC公司：03B45号 03B70号 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛G.Fontaine｝和\textit｛Y.Venema｝，日志。方法计算。科学。14，第1号，第14号文件，第51页（2018；兹bl 1459.03022） 全文： 内政部 arXiv公司
Mio、Matteo 具有独立乘积的概率模态演算。 （英语） Zbl 1261.03083号 日志。方法计算。科学。 8，第4号，第18号论文，36页（2012）。MSC公司：03B44号 03B70号 03E50型 68问题85 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mio}，日志。方法计算。科学。8，第4号，第18号论文，36页（2012；Zbl 1261.03083） 全文： 内政部
Mio、Matteo 关于概率演算的博弈和指称语义的等价性。 （英语） Zbl 1238.68082号 日志。方法计算。科学。 8，第2号，第7号论文，21页（2012年）。MSC公司：68问题55 03B44号 68问题85 87年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mio}，日志。方法计算。科学。8，第2号，第7号论文，21页（2012年；Zbl 1238.68082） 全文： 内政部 arXiv公司
小林直树;C.·H·卢克·翁 模态多演算片段的模型检查递归方案的复杂性。 （英语） Zbl 1237.68124号 日志。方法计算。科学。 7，第4号，第9号论文，23页（2011年）。MSC公司：60年第68季度 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi}和\textit{C.H.L.Ong}，Log。方法计算。科学。7，第4号，第9号论文，23页（2011年；Zbl 1237.68124） 全文： 内政部
科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 用于余代数\（\mu\）-演算的EXPTIME表格。 （英语） Zbl 1237.03014号 日志。方法计算。科学。 第7卷第3期，第3号论文，33页（2011年）。MSC公司：03B45号 03B35型 03B70号 03G30型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Cêrstea}等人，《日志》。方法计算。科学。7，第3期，第3号论文，33页（2011年；Zbl 1237.03014） 全文： 内政部 arXiv公司
皮耶罗·A·博纳蒂。;卡斯滕·卢茨;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 富集计算的复杂性。 （英语） Zbl 1151.03016号 日志。方法计算。科学。 4，第3期，论文11，27页（2008年）。MSC公司：03B70号 03B25号 03B45号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Bonatti}等人，日志。方法计算。科学。4，第3号，论文11，27页（2008；Zbl 1151.03016） 全文： 内政部