计算机科学中的逻辑

涵盖计算机科学中逻辑的各个方面，包括有限模型理论、程序逻辑、模态逻辑和程序验证。编程语言语义应将编程语言作为主要主题领域。大致包括 ACM 主题类别 D.2.4、F.3.1、F.4.0、F.4.1 和 F.4.2 中的材料； F.4.3（形式语言）中的一些材料也可能适合这里，尽管计算复杂性通常是更合适的主题领域。

共 0 篇