0022-0000

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

本期论文列表
Formal analysis of a systolic system for finite element stiffness matrices

On the power of alternation in automata theory

Behavior of a class of nonlinear discrete-time systems

A matching problem in the plane

Macro tree transducers