0022-0000

Journal of Computer and System Sciences (JCSS) - Volume 27, Issue 3 论文列表

本期论文列表
Acyclic join dependency and data base projections

A technique for decomposing algorithms which use a single shared variable

A normal form for arithmetical representation of N P-sets

The insensitivity theorem for nonreducing reflexive types

Deterministic and nondeterministic flowchart interpretations

Finite-state ω-languages

Author index for volume 27