0022-0000

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

本期论文列表
Editors′ Foreword

PP Is Closed under Intersection

Approximations and Optimal Geometric Divide-and-Conquer

Testing Finite State Machines: Fault Detection

Fast Approximation Algorithms for Multicommodity Flow Problems

Competitive Paging with Locality of Reference

A Matroid Approach to Finding Edge Connectivity and Packing Arborescences

Effective Noether Irreducibility Forms and Applications

Fast Monte Carlo Algorithms for Permutation Groups

Computing with First-Order Logic

When Won′t Membership Queries Help?