0022-0000

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

本期论文列表
Certain relations between properties of maps of tessellation automata

Linear realization of finite automata

Theory of ω-languagesI: Characterizations of ω-context-free languages

Theory of ω-languages. II: A study of various models of ω-type generation and recognition

A characterization of weakest preconditions

Computation and construction universality of reversible cellular automata

Algebraic properties of derivation words

Space-bounded reducibility among combinatorial problems