计算机科学代数和余代数会议(CALCO)
第十届CALCO 2023:美国印第安纳州布卢明顿
保罗·巴尔丹 , 瓦莱丽亚·德佩瓦 :
第十届计算机科学代数和余代数会议,CALCO 2023,2023年6月19-21日,美国印第安纳州布卢明顿印第安纳大学。 LIPIcs公司 270, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2023 ,国际标准图书编号 978-3-95977-287-7 [目录]
第9届CALCO 2021:奥地利萨尔茨堡
法比奥·加杜奇 , 亚历山德拉·席尔瓦 :
第九届计算机科学代数和余代数会议,CALCO 2021,2021年8月31日至9月3日,奥地利萨尔茨堡。 LIPIcs公司 211, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2021 ,国际标准图书编号 978-3-95977-212-9 [目录]
第八届CALCO 2019:英国伦敦
马库斯·罗根巴赫 , 安娜·索科洛娃 :
第八届计算机科学代数和余代数会议,2019年6月3日至6日,CALCO 2019,英国伦敦。 LIPIcs公司 139, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2019 ,国际标准图书编号 978-3-95977-120-7 [目录]
2017年第7届CALCO:斯洛文尼亚卢布尔雅那
菲利波·邦奇 , 芭芭拉·科尼格 :
2017年6月12日至16日在斯洛文尼亚卢布尔雅那举行的第七届计算机科学代数和余代数会议。 LIPIcs公司 72, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2017 ,国际标准图书编号 978-3-95977-033-0 [目录]
2015年第6届CALCO:荷兰奈梅亨
劳伦斯·莫斯 , 帕维尔·索博辛斯基 :
第六届计算机科学代数和余代数会议,CALCO 2015年6月24日至26日,荷兰奈梅亨。 LIPIcs公司 35, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2015 ,国际标准图书编号 978-3-939897-84-2 [目录]
2013年第五届CALCO:波兰华沙
瑞科·赫克尔 , 斯特凡·米利厄斯 :
计算机科学中的代数和余代数——第五届国际会议,2013年CALCO,波兰华沙,2013年9月3日至6日。 诉讼程序。 计算机科学课堂讲稿 8089, 施普林格 2013 ,国际标准图书编号 978-3-642-40205-0 [目录]
2011年第四届CALCO:英国温彻斯特
安德烈亚·科拉迪尼 , 巴托克·克林 , Corina Cêrstea科瑞纳·科斯特 :
计算机科学中的代数和代数-第四届国际会议,CALCO 2011,英国温彻斯特,2011年8月30日至9月2日。 诉讼程序。 计算机科学课堂讲稿 6859, 施普林格 2011 ,国际标准图书编号 978-3-642-22943-5 [目录]
2009年第三届CALCO:意大利乌迪内
亚历山大·库兹 , 玛丽娜·莱尼萨 , 安德烈·塔莱基 :
计算机科学中的代数和余代数,第三届国际会议,CALCO 2009,意大利乌迪内,2009年9月7日至10日。 诉讼程序。 计算机科学课堂讲稿 5728, 施普林格 2009 ,国际标准图书编号 978-3-642-03740-5 [目录]
2007年第二届CALCO:挪威卑尔根
蒂尔·莫萨科夫斯基 , 乌戈·蒙塔纳里 , Magne Haveraaen公司 :
计算机科学中的代数和余代数,第二届国际会议,2007年CALCO,挪威卑尔根,2007年8月20日至24日,会议记录。 计算机科学课堂讲稿 4624, 施普林格 2007 ,国际标准图书编号 978-3-540-73857-2 [目录]
2005年第一届CALCO:英国威尔士斯旺西
何塞·路易斯·菲亚德罗 , 尼尔·哈曼 , 马库斯·罗根巴赫 , Jan J.M.M.Rutten先生 :
计算机科学中的代数和余代数:第一届国际会议,2005年CALCO,英国斯旺西,2005年9月3-6日,会议记录。 计算机科学课堂讲稿 3629, 施普林格 2005 ,国际标准图书编号 3-540-28620-9 [目录]