Journal of Computer and System Sciences （JCSS） - Volume 80, Issue 2 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 80, Issue 2 |
| 发布时间： March 2014 |
| 卷期年份： 2014 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/80/issue/2 |
本期论文列表
Editorial Board
Editorʼs foreword: WoLLIC 2010
An approach for lifetime reliability analysis using theorem proving
A mechanisation of some context-free language theory in HOL4
A representation theorem for (q-)holonomic sequences
Branching-time logics with path relativisation
Displacement logic for anaphora
Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions
Belief revision within fragments of propositional logic
Deciding unique decodability of bigram counts via finite automata
On the role of complementation in implicit language equations and relations
Preprocessing subgraph and minor problems: When does a small vertex cover help?
Corrigendum to “Uniform constant-depth threshold circuits for division and iterated multiplication” [J. Comput. System Sci. 65 (4) (2002) 695–716]
Contents