researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: J. Comput. Syst. Sci.
Home
Index
Info
Volume
Volume
31
, Issue
3
303
--
331
Géraud Sénizergues
.
The Equivalence and Inclusion Problems for NTS Languages
332
--
342
Luc Boasson
,
Géraud Sénizergues
.
NTS Languages Are Deterministic and Congruential
343
--
354
Patrick C. Fischer
,
Lawrence V. Saxton
,
Stan J. Thomas
,
Dirk Van Gucht
.
Interactions between Dependencies and Nested Relational Structures
355
--
374
Philip A. Bernstein
,
Nathan Goodman
.
Serializability Theory for Replicated Databases
375
--
393
Stephen L. Bloom
,
Zoltán Ésik
.
Axiomatizing Schemes and Their Behaviors
394
--
411
Alberto Apostolico
,
Franco P. Preparata
.
Structural Properties of the String Statistics Problem
Volume
31
, Issue
2
148
--
168
Harold N. Gabow
.
Scaling Algorithms for Network Problems
169
--
181
Christopher B. Wilson
.
Relativized Circuit Complexity
182
--
209
Philippe Flajolet
,
G. Nigel Martin
.
Probabilistic Counting Algorithms for Data Base Applications
210
--
224
Janet Incerpi
,
Robert Sedgewick
.
Improved Upper Bounds on Shellsort
225
--
264
Joachim von zur Gathen
.
Irreducibility of Multivariate Polynomials
265
--
287
Joachim von zur Gathen
,
Erich Kaltofen
.
Factoring Sparse Multivariate Polynomials
288
--
301
Christos H. Papadimitriou
.
Games Against Nature
Volume
31
, Issue
1
1
--
27
Rami G. Melhem
.
Formal Analysis of a Systolic System for Finite Element Stiffness Matrices
28
--
39
Juraj Hromkovic
.
On the Power of Alternation in Automata Theory
40
--
62
Martin E. Kaliski
,
Quentin L. Klein
.
Behavior of a Class of Nonlinear Discrete-Time Systems
63
--
70
Mikhail J. Atallah
.
A Matching Problem in the Plane
71
--
146
Joost Engelfriet
,
Heiko Vogler
.
Macro Tree Transducers