0022-0000

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

本期论文列表
Design of relational database schemes by deleting attributes in the canonical decomposition

Communication in concurrent dynamic logic

Complementing deterministic Büchi automata in polynomial time

Union and actualization of module specifications: Some compatibility results

Edge-connectivity augmentation problems