Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=J. Comput.~Syst.~Sci. AND Volume=31
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Formal analysis of a systolic system for finite element stiffness matrices
R. Melhem
Journal of Computer and System Sciences
31
(1), 1985, August, pp. 1-27
On the power of alternation in automata theory
J. Hromkovic̑
Journal of Computer and System Sciences
31
(1), 1985, August, pp. 28-39
Behavior of a class of nonlinear discrete-time systems
M.E. Kaliski
,
Q.L. Klein
Journal of Computer and System Sciences
31
(1), 1985, August, pp. 40-62
A matching problem in the plane
M.J. Atallah
Journal of Computer and System Sciences
31
(1), 1985, August, pp. 63-70
Macro tree transducers
J. Engelfriet
,
H. Vogler
Journal of Computer and System Sciences
31
(1), 1985, August, pp. 71-146
Scaling algorithms for network problems
H.N. Gabow
Journal of Computer and System Sciences
31
(2), 1985, October, pp. 148-168
Relativized circuit complexity
C.B. Wilson
Journal of Computer and System Sciences
31
(2), 1985, October, pp. 169-181
Probabilistic counting algorithms for database applications
P. Flajolet
,
G.N. Martin
Journal of Computer and System Sciences
31
(2), 1985, October, pp. 182-209
Improved upper bounds on Shellsort
J. Incerpi
,
R. Sedgewick
Journal of Computer and System Sciences
31
(2), 1985, October, pp. 210-224
Irreducibility of multivariate polynomials
J. von zur Gathen
Journal of Computer and System Sciences
31
(2), 1985, October, pp. 225-264
Factoring sparse multivariate polynomials
J. von zur Gathen
,
E. Kaltofen
Journal of Computer and System Sciences
31
(2), 1985, October, pp. 265-287
Games against nature (PSPACE, new characterization)
C.H. Papadimitriou
Journal of Computer and System Sciences
31
(2), 1985, October, pp. 288-301
The equivalence and inclusion problems for NTS languages
G. Senizergues
Journal of Computer and System Sciences
31
(3), 1985, December, pp. 303-331
NTS languages are deterministic and congruential
L. Boasson
,
G. Senizergues
Journal of Computer and System Sciences
31
(3), 1985, December, pp. 332-342
Interactions between dependencies and nested relational structures
P.C. Fischer
,
L.V. Saxton
,
S.J. Thomas
,
D.V. Gucht
Journal of Computer and System Sciences
31
(3), 1985, December, pp. 343-354
Serializability theory for replicated databases
P.A. Bernstein
,
N. Goodman
Journal of Computer and System Sciences
31
(3), 1985, December, pp. 355-374
Axiomatizing schemes and their behaviors
S.L. Bloom
,
Z. Esik
Journal of Computer and System Sciences
31
(3), 1985, December, pp. 375-393
Structural properties of the string statistics problem
A. Apostolico
,
F.P. Preparata
Journal of Computer and System Sciences
31
(3), 1985, December, pp. 394-411