Logical Methods in Computer Science 期刊简介

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 methods
Automata and logic
Automated deduction
Categorical models and logic
Coalgebraic methods
Computability and Logic
Computer-aided verification
Concurrency theory
Constraint programming
Cyber-physical systems
Database theory
Defeasible reasoning
Domain theory
Emerging topics: Computational systems in biology
Emerging topics: Quantum computation and logic
Finite model theory
Formalized mathematics
Functional programming and lambda calculus
Inductive logic and learning
Interactive proof checking
Logic and algorithms
Logic and complexity
Logic and games
Logic and probability
Logic for knowledge representation
Logic programming
Logics of programs
Modal and temporal logics
Program analysis and type checking
Program development and specification
Proof complexity
Real time and hybrid systems
Reasoning about actions and planning
Satisfiability
Security
Semantics of programming languages
Term rewriting and equational logic
Type theory and constructive mathematics.

中文简介:(来自Google、百度翻译)

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

官方内部论文预审系统 :
1-3天杂志社编辑直接预审
预审通过后100%录用,3个月即可录用

微信扫码咨询

期刊ISSN
1860-5974
影响指数
0.434
最新CiteScore值
1.80 查看CiteScore评价数据
最新自引率
14.80%
期刊官方网址

hot

https://www.paper-med.com/?type=9
期刊加急投稿网址

hot

https://www.paper-med.com/paper/index.html?type=10
通讯地址
TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106
偏重的研究方向(学科)
工程技术-计算机:理论方法
出版周期
Irregular
出版年份
0
出版国家/地区
GERMANY
是否OA
Yes
SCI期刊coverage
Science Citation Index Expanded(科学引文索引扩展)
NCBI查询
PubMed Central (PMC)链接 全文检索(pubmed central)
Logical Methods in Computer Science 期刊中科院JCR 评价数据
最新中科院JCR分区
大类(学科)
小类(学科)
综述期刊
工程技术
COMPUTER SCIENCE, THEORY & METHODS(计算机:理论方法)4区 LOGIC(逻辑学)4区
最新的影响因子
0.434
最新公布的期刊年发文量
年度总发文量 研究类文章占比
77 100.00%
总被引频次 31
影响因子趋势图
近年的影响因子趋势图(整体平稳趋势)
Logical Methods in Computer Science 期刊CiteScore评价数据
最新CiteScore值
1.80
年文章数 77
SJR
0.484
SNIP
0.895
CiteScore排名
序号 类别(学科) 排名 百分位
1 Computer Science Computer Science (all) #116/226
2 Computer Science Theoretical Computer Science #92/120
CiteScore趋势图
CiteScore趋势图
Logical Methods in Computer Science 投稿经验(由下方点评分析获得,0人参与,1229人阅读)
投稿录用比例: 容易
审稿速度: 较慢,6-12周
分享者 点评内容
没有更多了~
Copyright © 2014-2019 晟斯医学 All Rights Reserved. 备案号:苏ICP备11037034号-5 版权所有:南京孜文信息咨询有限公司