0022-0000

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

本期论文列表
Decomposable maps in general tessellation structures

Equivalence problem of non-deterministic finite automata

Some decision problems concerning sequential transducers and checking automata

Analysis of petri nets by stepwise refinements

Injectivity and surjectivity of parallel maps for cellular automata

On the existence of minimal realizations of linear dynamical systems over Noetherian integral domains

Linear algorithms on recursive representations of trees

On the complexity of computations under varying sets of primitives

Two decidability results for deterministic pushdown automata