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.

【译文】逻辑方法在计算机科学是一本完全同行评审、开放获取、免费、电子期刊。它欢迎涉及逻辑方法（广义上）的理论和实践领域的计算机科学论文；其范围内的某些特定领域如下。论文以传统方式进行同行评审，每篇论文有两名或更多审稿人。版权归作者所有。逻辑方法在计算机科学的主题包括：代数方法、自动机和逻辑、自动推理、范畴模型和逻辑、协同方法、可计算性和逻辑、计算机辅助验证、并发理论、约束编程、网络物理系统、数据库理论、可辩驳推理、领域理论、新兴领域：生物计算系统、新兴领域：量子计算和逻辑、有限模型理论、形式化数学、函数式编程和λ演算、归纳逻辑和学习、交互式证明检查、逻辑和算法、逻辑和复杂性、逻辑和游戏、逻辑和概率、知识表示的逻辑、逻辑编程、程序逻辑的逻辑、模态和时态逻辑、程序分析和类型检查、程序开发和规范、证明复杂性、实时和混合系统、关于动作和规划推理、可满足性、安全性、程序语言的语义、项重写和等式逻辑、类型理论和构造性数学。