Journal of Computer and System Sciences （JCSS） - Volume 78, Issue 3 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 78, Issue 3 |
| 发布时间： May 2012 |
| 卷期年份： 2012 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/78/issue/3 |
本期论文列表
Editorial Board
Approximability of constrained LCS
Faster algorithms for finding and counting subgraphs
Local search: Is brute-force avoidable?
An improved approximation algorithm for the complementary maximal strip recovery problem
Fixed-point tile sets and their applications
Space complexity of perfect matching in bounded genus bipartite graphs
On CD-systems of stateless deterministic R-automata with window size one
Another approach to the equivalence of measure-many one-way quantum finite automata and its application
Editorʼs foreword
Verification of object-oriented programs: A transformational approach
Verification of multi-linked heaps
Non-standard semantics of hybrid systems modelers
Synthesis of Reactive(1) designs
Ambient Abstract State Machines with applications
When are different type-logical semantic definitions defining equivalent meanings?
Synthesis from scenario-based specifications
Once and for all
Contents