0022-0000

Journal of Computer and System Sciences （JCSS） - Volume 64, Issue 2 论文列表

点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息
卷期号： Volume 64, Issue 2
发布时间： March 2002
卷期年份： 2002
卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/64/issue/2
本期论文列表
Inductive Inference with Additional Information

Efficient Approximation Algorithms for the Subset-Sums Equality Problem

Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems

Competitive On-line Scheduling of Continuous-Media Streams

Hierarchical Graph Transformation

Minimality of an Automaton Cascade Decomposition for Learning System Environments

Context-Free Languages of Sub-exponential Growth

Reducing the Number of Solutions of NP Functions

Interval Consistency of Asynchronous Distributed Computations

Output String Languages of Compositions of Deterministic Macro Tree Transducers

LTL Is Expressively Complete for Mazurkiewicz Traces

Lower Bounds for Linearly Transformed OBDDs and FBDDs

Papers to Appear in Forthcoming Issues