0022-0000

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

本期论文列表
On the expressive power of temporal logic

A complexity theory for feasible closure properties

Graph theoretic analysis of PLA folding heuristics

A note on bi-immunity and p-closeness of p-cheatable sets in P/poly

Collapsing degrees via strong computation

Matrix and matricial iteration theories, Part I

Matrix and matricial iteration theories, Part II

Author index for volume 46