Volume 11, Number 1, March 2000 Asian '98
: Constructive Classical Logic as CPS-Calculus.
: Light Affine Logic as a Programming Language: A First Contribution.
: Computing with Membranes (P Systems): A Variant.
Arnold L. Rosenberg
: Guidelines for Data-Parallel Cycle-Stealing in Networks of Workstations II: On Maximizing Guaranteed Output.
Volume 11, Number 2, June 2000 Randomized Computing
: A Method for Evaluating the Expected Load of Dynamic Tree Embeddings in Hypercubes.
: On the Dealer's Randomness Required in Perfect Secret Sharing Schemes with Access Structures of Constant Rank.
Volume 11, Number 3, September 2000 Selected papers from WG 1999
: Some Sufficient Conditions of Learnability in the Limit From Positive Data.
Volume 11, Number 4, December 2000
, Louxin Zhang
: Separating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Systems Using (3k+1)-ary Input Relations.