考斯托夫·乔杜里;尼古拉斯，猜猜看 结构微积分中的等式和不动点。 （英语） Zbl 1395.03032号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第30号论文，第10页（2014年）。理学硕士：03楼52 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}和\textit{N.Guenot}，in：EACSL第二十三届计算机科学逻辑年会联合会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。论文编号30，第10页（2014；Zbl 1395.03032） 全文： 内政部 哈尔
考斯托夫·乔杜里;尼古拉斯，猜猜看;卢茨斯特拉汉堡 结构的集中演算。 （英语） Zbl 1247.03117号 Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学会议录12，159-173，仅电子版（2011年）。理学硕士：07年3月 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}等人，LIPIcs——莱布尼茨国际程序。通知。12、159--173（2011；Zbl 1247.03117） 全文： 内政部 链接