0022-0000

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

本期论文列表
A simulation result for the auxiliary pushdown automata

Computable stack functions for semantics of stack programs

Simple counter machines and number-theoretic problems

Least fixed point of a functor

On recursion in ETOL systems

On time hierarchies

Codeterministic Lindenmayer schemes and systems