0022-0000

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

本期论文列表
Editor's foreword

Algebraic dependencies

Isomorphism of graphs of bounded valence can be tested in polynomial time

N-Process mutual exclusion with bounded waiting by 4 · Log2 N-valued shared variable

Upper and lower bounds for first order expressibility

Structure and complexity of relational queries