0022-0000

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

本期论文列表
Abstract families of processors

Equivalences on program schemes

On formalised computer programs

Remarks on the approximation of some nonlinear elliptic equations

General properties of star height of regular events

Star height of certain families of regular events