期刊详情
Proceedings - Symposium On Logic In Computer Science
立即访问
语言：
英文
所在数据库：
Institute Of Electrical And Electronics Engineers Inc.
更新时间：
2026-04-06 20:48:12
期刊详情
Proceedings - Symposium On Logic In Computer Science 《计算机科学逻辑研讨会论文集》（LICS）是理论计算机科学领域的顶级会议。该会议录发表逻辑在计算中的应用、形式化方法、类型论及程序验证的研究，内容涵盖模型检测、语义学、自动推理及量子逻辑，代表了计算逻辑领域的最高学术水平。