丹尼尔·克恩伯格;马丁·兰格 完全混合的微积分。 （英语） 兹比尔1515.68184 Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，《时代》2017，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。90，第17条，第16页（2017年）。MSC公司：60年第68季度 03B44号 03B45 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Kernberger}和\textit{M.Lange}，LIPIcs——莱布尼茨国际程序。通知。90，第17条，第16页（2017；Zbl 1515.68184） 全文： DOI程序
费比安·雷特 异步分布式自动机：模式片段的特征。 （英语） Zbl 1442.68096号 Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。80，第100条，第14页（2017年）。MSC公司：65年第68季度 03B45 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Reiter}，LIPIcs——莱布尼茨国际程序。通知。80，第100条，第14页（2017年；Zbl 1442.68096） 全文： DOI程序 arXiv公司
玛丽亚·乔昂·古韦亚;路易吉·桑托卡纳莱 \（\aleph_1）和模态演算。 （英语） Zbl 1434.03070号 Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。82，第38条，第16页（2017年）。MSC公司：03B45 03B70号 03年10月 PDF格式BibTeX公司 XML格式引用 \textit｛M.J.Gouveia｝和\textit｛L.Santocanale｝，LIPIcs——莱布尼茨国际期刊。通知。82，第38条，第16页（2017年；Zbl 1434.03070） 全文： DOI程序
巴托克·克林;Łelyk，马特乌斯 模态\（\mu\）-原子演算。 （英语） Zbl 1434.03071号 Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。82，第30条，第21页（2017年）。MSC公司：03B45 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}和\textit{M.Łelyk}，LIPIcs——莱布尼茨国际程序。通知。82，第30条，第21页（2017；Zbl 1434.03071） 全文： DOI程序
威廉·康雷迪;安德鲁·克雷格 mu-calculi的规范性结果：一种算法方法。 （英语） Zbl 1444.03047号 J.日志。计算。 27，第3号，705-748（2017）.MSC公司：03B45 03G10年 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}和\textit{A.Craig}，J.Log。计算。27，第3号，705--748（2017；Zbl 1444.03047） 全文： DOI程序 arXiv公司
尼克·贝扎尼什维利;苏米特·苏拉布 拓扑定点逻辑的Sahlqvist保持。 （英语） Zbl 1444.03044号 J.日志。计算。 27，第3号，679-703（2017）.MSC公司：03B45 03B70号 2012年2月6日 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}和\textit{S.Sourabh}，J.Log。计算。27，第3号，679--703（2017；Zbl 1444.03044） 全文： DOI程序 链接