0022-0000

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

本期论文列表
The correctness of programs

Convergence with Hilbert's space filling curve

Parallel program schemata

Checking automata and one-way stack languages

Cubature and the Tchakaloff cone

Every semilinear set is a finite union of disjoint linear sets