大卫·巴尔德(编辑);Carayol,阿诺(编辑);拉尔夫·马提斯(编辑);伊戈尔·瓦卢基维奇(编辑) 2013年计算机科学(FICS)固定点。前言。 (英语) Zbl 1376.00014号 芬丹。通知。 150,第3-4号,i-ii(2017). 摘自正文:本期《Fundemanta Informaticae》特刊包含了在2013年计算机科学固定点研讨会(FICS)第6版上提交的修订版和扩展版稿件。2013年9月1日,FICS 2013研讨会在都灵举行,作为2013年EACSL计算机科学逻辑年会(CSL)的附属活动。 MSC公司: 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}(编辑)等人,Fundam。通知。150,编号3--4,i-ii(2017;Zbl 1376.00014) 全文: DOI程序