0022-0000

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

本期论文列表
Tests for the LR-, LL-, and LC-regular conditions

A low and a high hierarchy within NP

Port automata and the algebra of concurrent processes

A method for stepwise refinement and abstraction of Petri nets

On the complexity of chess

Representation theorems on regular languages

Remarks on multihead pushdown automata and multihead stack automata

Linear cellular automata over Zm