投稿问答最小化 关闭

投稿有问题？问问网友吧！

认证信息

期刊封面

季刊 - 德国

页面浏览3954次跳转官网2次

所属分区：4区

是否TOP：非TOP期刊

是否综述：非综述期刊

是否OA：OA期刊

国际标准刊号：ISSN 1860-5974

期刊语言：英语

出版区域：德国

定价：0

出版地址：LOGICAL METHODS COMPUTER SCIENCE E V, KLEISTSTR 22, BRAUNSCHWEIG, GERMANY, 38124

期刊邮箱：

出版商网址：

Logical Methods in Computer Science《计算机科学中的逻辑方法》（官网投稿）

简介

期刊简称LOG METH COMPUT SCI
参考译名《计算机科学中的逻辑方法》
核心类别高质量科技期刊（T3-2025）, SCIE核心, EI 外国期刊, 目次收录（维普）,外文期刊,
IF影响因子
自引率
主要研究方向计算机科学-COMPUTER SCIENCE, THEORY & METHODS计算机：理论方法；LOGIC逻辑学。期刊主题包括但不限于：代数方法；自动机与逻辑；自动机学习；自动演绎；范畴模型与逻辑；余代数方法；可计算性与逻辑；生物计算系统；计算机辅助验证；并发理论；约束规划；信息物理系统；数据库理论；可废止推理；域理论；有限模型论；形式语言；形式化数学；函数式编程与λ演算；同伦类型论与单值基础；归纳逻辑与学习；交互式证明检验；逻辑与算法；逻辑与复杂性；逻辑与博弈；逻辑与概率；逻辑与验证；知识表示逻辑；安全逻辑；逻辑编程；知识表示与推理逻辑；程序逻辑；模态与时态逻辑；进程代数；程序分析与类型系统；程序开发与规约；证明复杂性；证明论与逻辑；协议验证；定量建模；量子计算与逻辑；实时与混合系统；行动推理与规划；程序推理；程序设计语言语义；项重写与等式逻辑；类型论与构造数学。展开更多