JCSS
, Volume 31
Volume 31, Number 1, August 1985
Rami G. Melhem
: Formal Analysis of a Systolic System for Finite Element Stiffness Matrices. 1-27
BibTeX
Juraj Hromkovic
: On the Power of Alternation in Automata Theory. 28-39
BibTeX
Martin E. Kaliski
,
Quentin L. Klein
: Behavior of a Class of Nonlinear Discrete-Time Systems. 40-62
BibTeX
Mikhail J. Atallah
: A Matching Problem in the Plane. 63-70
BibTeX
Joost Engelfriet
,
Heiko Vogler
: Macro Tree Transducers. 71-146
BibTeX
Volume 31, Number 2, October 1985
Selected Papers of
FOCS 1983
Harold N. Gabow
: Scaling Algorithms for Network Problems. 148-168
BibTeX
Christopher B. Wilson
: Relativized Circuit Complexity. 169-181
BibTeX
Philippe Flajolet
,
G. Nigel Martin
: Probabilistic Counting Algorithms for Data Base Applications. 182-209
BibTeX
Janet Incerpi
,
Robert Sedgewick
: Improved Upper Bounds on Shellsort. 210-224
BibTeX
Joachim von zur Gathen
: Irreducibility of Multivariate Polynomials. 225-264
BibTeX
Joachim von zur Gathen
,
Erich Kaltofen
: Factoring Sparse Multivariate Polynomials. 265-287
BibTeX
Christos H. Papadimitriou
: Games Against Nature. 288-301
BibTeX
Volume 31, Number 3, December 1985
Géraud Sénizergues
: The Equivalence and Inclusion Problems for NTS Languages. 303-331
BibTeX
Luc Boasson
,
Géraud Sénizergues
: NTS Languages Are Deterministic and Congruential. 332-342
BibTeX
Patrick C. Fischer
,
Lawrence V. Saxton
,
Stan J. Thomas
,
Dirk Van Gucht
: Interactions between Dependencies and Nested Relational Structures. 343-354
BibTeX
Philip A. Bernstein
,
Nathan Goodman
: Serializability Theory for Replicated Databases. 355-374
BibTeX
Stephen L. Bloom
,
Zoltán Ésik
: Axiomatizing Schemes and Their Behaviors. 375-393
BibTeX
Alberto Apostolico
,
Franco P. Preparata
: Structural Properties of the String Statistics Problem. 394-411
BibTeX
Copyright ©
Sun May 17 00:08:10 2009 by
Michael Ley
(
ley@uni-trier.de
)