Journal: J. Comput. Syst. Sci.

Volume 31, Issue 3

303 -- 331Géraud Sénizergues. The Equivalence and Inclusion Problems for NTS Languages
332 -- 342Luc Boasson, Géraud Sénizergues. NTS Languages Are Deterministic and Congruential
343 -- 354Patrick C. Fischer, Lawrence V. Saxton, Stan J. Thomas, Dirk Van Gucht. Interactions between Dependencies and Nested Relational Structures
355 -- 374Philip A. Bernstein, Nathan Goodman. Serializability Theory for Replicated Databases
375 -- 393Stephen L. Bloom, Zoltán Ésik. Axiomatizing Schemes and Their Behaviors
394 -- 411Alberto Apostolico, Franco P. Preparata. Structural Properties of the String Statistics Problem

Volume 31, Issue 2

148 -- 168Harold N. Gabow. Scaling Algorithms for Network Problems
169 -- 181Christopher B. Wilson. Relativized Circuit Complexity
182 -- 209Philippe Flajolet, G. Nigel Martin. Probabilistic Counting Algorithms for Data Base Applications
210 -- 224Janet Incerpi, Robert Sedgewick. Improved Upper Bounds on Shellsort
225 -- 264Joachim von zur Gathen. Irreducibility of Multivariate Polynomials
265 -- 287Joachim von zur Gathen, Erich Kaltofen. Factoring Sparse Multivariate Polynomials
288 -- 301Christos H. Papadimitriou. Games Against Nature

Volume 31, Issue 1

1 -- 27Rami G. Melhem. Formal Analysis of a Systolic System for Finite Element Stiffness Matrices
28 -- 39Juraj Hromkovic. On the Power of Alternation in Automata Theory
40 -- 62Martin E. Kaliski, Quentin L. Klein. Behavior of a Class of Nonlinear Discrete-Time Systems
63 -- 70Mikhail J. Atallah. A Matching Problem in the Plane
71 -- 146Joost Engelfriet, Heiko Vogler. Macro Tree Transducers