0022-0000

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

本期论文列表
The halting problem for linear turing assemblers

Indecomposable parallel maps in tessellation structures

On the structure of abelian automata

A useful device for showing the solvability of some decision problems

Hazard analysis of asynchronous circuits in Muller-Bartky's sense

Automaton introspection

Finding the median

Varieties of ordered algebras

Some convergence results on the method of gradients for Ax=λBx

Un théorème de duplication pour les forêts algébriques