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