0022-0000

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

本期论文列表
Correctness proofs of syntax-directed processing descriptions by attributes

Automorphisms of linear automata

Final algebra semantics and data type extensions

The decidability of equivalence for deterministic finite transducers

Parameter passing in nondeterministic recursive programs

A hierarchy of deterministic languages

Superdeterministic DPDAs: The method of accepting does affect decision problems