0

LOGICAL METHODS IN COMPUTER SCIENCE

主办单位:Technischen Universitat Braunschweig

出版周期: 未知

刊物简介
投稿经验
相关期刊
计算机科学中的逻辑方法是一种完全引用的、开放获取的、免费的电子期刊。它欢迎关于计算机科学理论和实践领域的论文,涉及广义的逻辑方法; 下面列出了其范围内的一些特定领域。论文采用传统的裁判方式,每篇论文有两个或两个以上的裁判。版权由作者保留。计算机科学中的逻辑方法主题: 代数方法自动机和逻辑自动演绎分类模型和逻辑代数方法可计算性和逻辑计算机辅助验证并发理论约束编程网络物理系统数据库理论失效推理领域理论新兴主题: 生物计算系统新兴主题:量子计算和逻辑有限模型理论形式化的数学函数编程和lambda计算归纳逻辑和学习交互式证明检查逻辑和算法逻辑和复杂性逻辑和游戏逻辑和概率逻辑知识表示逻辑编程逻辑和时态逻辑程序分析和类型检查程序开发和规范证明复杂的实时和混合系统关于动作和规划的推理令人满意的安全性编程语言的语义重写和等式逻辑类型理论和构造性数学。
收藏
暂不支持预投