Logical Methods in Computer Science（计算机科学中的逻辑方法杂志）影响因子_期刊投稿发表

期刊简介

Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.Topics of Logical Methods in Computer Science:Algebraic methodsAutomata and logicAutomated deductionCategorical models and logicCoalgebraic methodsComputability and LogicComputer-aided verificationConcurrency theoryConstraint programmingCyber-physical systemsDatabase theoryDefeasible reasoningDomain theoryEmerging topics: Computational systems in biologyEmerging topics: Quantum computation and logicFinite model theoryFormalized mathematicsFunctional programming and lambda calculusInductive logic and learningInteractive proof checkingLogic and algorithmsLogic and complexityLogic and gamesLogic and probabilityLogic for knowledge representationLogic programmingLogics of programsModal and temporal logicsProgram analysis and type checkingProgram development and specificationProof complexityReal time and hybrid systemsReasoning about actions and planningSatisfiabilitySecuritySemantics of programming languagesTerm rewriting and equational logicType theory and constructive mathematics.

《计算机科学中的逻辑方法》是一本经过充分审阅的、开放获取的、免费的电子期刊。它欢迎关于计算机科学中涉及逻辑方法的理论和实践领域的论文，从广义上看;下文列出了其范围内的一些具体领域。论文以传统的方式进行评审，每份论文有两名或两名以上的评审。版权归作者所有。计算机科学中的逻辑方法主题：代数方法自动机和逻辑自动演绎分类模型和逻辑共代数方法可计算性和逻辑计算机辅助验证并发理论约束编程计算机物理系统数据库理论可废止推理领域理论新兴主题：生物学中的计算系统新兴主题：量子计算与逻辑有限模型理论形式化数学函数编程与lambda演算归纳逻辑与学习交互式证明检查逻辑与算法逻辑与复杂性逻辑与游戏逻辑与概率知识表示逻辑逻辑编程程序逻辑模态与时序逻辑程序分析与类型检查程序开发与规范证明复杂性实时与混合系统关于动作与规划的推理可满足性安全性编程语义语言术语重写和等式逻辑类型理论和构造数学。

《Logical Methods in Computer Science》期刊已被查看：次

分区信息