艾米·费尔蒂（Amy P.Felty）。（编辑） 第七届计算和扣除正式结构国际会议，FSCD 2022，以色列海法，2022年8月2-5日。 （英语） Zbl 1491.68017号 LIPIcs–莱布尼茨国际信息学会议录228.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆宫（ISBN 978-3-95977-233-4）。xvii，32篇文章，非连续页面，仅电子版，开放存取（2022年）。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1465.68024号]. 引用于1审查引用于6文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 03B70号 计算机科学中的逻辑 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 引文：兹比尔1465.68024 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Felty}（编辑），第七届计算和演绎形式结构国际会议，FSCD 2022，以色列海法，2022年8月2-5日。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔信息（Leibniz-Zentrum für Informatik）（2022；Zbl 1491.68017） 全文： 内政部 链接