FCS 领域集锦 | Theoretical Computer Science 专题

Frontiers of Computer Science (FCS) 微信公众号隆重推出“FCS 领域集锦”栏目,按领域和热点话题向读者推送FCS期刊近期的优质论文，共22期。敬请读者们关注！

“FCS 领域集锦”第 16 期推出 Special Issue on Theoretical Computer Science，共 9 篇文章。

1

浏览目录，快速获取文章信息。

2

点击文末“阅读原文”，获取电子版专题单行本。

3

点击电子版单行本文章底部下载链接，获取全文。

目录

点击文末左下角「阅读原文」链接可阅读电子版专题单行本

The M-computations induced by accessibility relations in nonstandard models M of Hoare logic

Cungen CAO, Yuefei SUI, Zaiyue ZHANG

Front. Comput. Sci., 2016, 10 (4): 717-725

https://doi.org/10.1007/s11704-015-4024-2

Reasoning and predicting POMDP planning complexity via covering numbers

Zongzhang ZHANG, Qiming FU, Xiaofang ZHANG, Quan LIU

Front. Comput. Sci., 2016, 10 (4): 726-740

https://doi.org/10.1007/s11704-015-5038-5

Reasoning about actions with loops via Hoare logic

Jiankun HE, Xishun ZHAO

Front. Comput. Sci., 2016, 10 (5): 870-888

https://doi.org/10.1007/s11704-016-5158-6

A parallel computing framework for big data

Guoliang CHEN, Rui MAO, Kezhong LU

Front. Comput. Sci., 2017, 11 (4): 608-621

https://doi.org/10.1007/s11704-016-5003-y

A novel mapping algorithm for three-dimensional network on chip based on quantum-behaved particle swarm optimization

Cui HUANG, Dakun ZHANG, Guozhi SONG

Front. Comput. Sci., 2017, 11 (4): 622-631

https://doi.org/10.1007/s11704-016-5196-0

MSVL: a typed language for temporal logic programming

Xiaobing WANG, Cong TIAN, Zhenhua DUAN, Liang ZHAO

Front. Comput. Sci., 2017, 11 (5): 762-785

https://doi.org/10.1007/s11704-016-6059-4

Algebraic state space approach to model and control combined automata

Yongyi YAN, Zengqiang CHEN, Jumei YUE

Front. Comput. Sci.. 2017, 11 (5): 874-886 

https://doi.org/10.1007/s11704-016-5128-z

The B4-valued propositional logic with unary logical connectives ∼1 / ∼2 /¬ 

Wei LI, Yuefei SUI

Front. Comput. Sci., 2017, 11 (5): 887-894

https://doi.org/10.1007/s11704-016-5299-7

Using coalgebras and the Giry monad for interpreting game logics— a tutorial

Ernst-Erich DOBERKAT

Front. Comput. Sci., 2017, 11 (6): 948-970

https://doi.org/10.1007/s11704-016-6155-5

↓↓↓ 点击"阅读原文" 查看【电子版专题单行本】 

相关推荐

FCS 优青论坛 | MSVL：一种类型化时序逻辑程序设计语言

FCS 11(6) 文章 | 教程：使用余代数和Giry单子解释博弈逻辑

查看“FCS领域集锦”其他期内容，请进入FCS微信公众号，然后点击菜单栏内“精彩内容” -> “领域集锦”：

---

---

Frontiers of Computer Science

---

Frontiers of Computer Science （FCS）是由教育部主管、高等教育出版社出版、SpringerNature 公司海外发行的英文学术期刊。本刊于 2007 年创刊，双月刊，全球发行。主要刊登计算机科学领域具有创新性的综述论文、研究论文等。本刊主编为李未院士，执行主编为熊璋教授和周志华教授。编委会及青年 AE 团队由国内外知名学者及优秀青年学者组成。本刊被 SCI、Ei、DBLP、INSPEC、SCOPUS 和中国科学引文数据库（CSCD）核心库等收录，为 CCF 推荐期刊；两次入选“中国科技期刊国际影响力提升计划”；入选“第4届中国国际化精品科技期刊”。

---

长按二维码关注Frontiers of Computer Science公众号