0022-0000

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