组合设计理论的模块化首次形式化
摘要
出版物: -
arXiv电子打印 发布日期: 2021年5月 内政部: -
10.48550/arXiv.2105.13583 arXiv公司: -
arXiv:2105.13583 书目代码: -
2021arXiv210513583E 关键词: -
计算机科学——计算机科学中的逻辑; 数学-组合数学; 数学-逻辑; 05B05; 68V20; 68V35; 03B35; F.4.1; G.2公司
电子打印: 本文已被CICM 2021接受。 会议之前,将在Isabelle AFP上提供完整的正式信息,也可以在以下网站上获得: https://github.com/cledmonds/design-theory网站