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=29
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Exponential bounds for the running time of a selection algorithm
L. Devroye
Journal of Computer and System Sciences
29
(1), 1984, August, pp. 1-7
Complete problems in the first-order predicate calculus
D.A. Plaisted
Journal of Computer and System Sciences
29
(1), 1984, August, pp. 8-35
An
n\log n
algorithm for determining the congruity of polyhedra
K. Sugihara
Journal of Computer and System Sciences
29
(1), 1984, August, pp. 36-47
Finding pseudoperipheral nodes in graphs
J.K. Pachl
Journal of Computer and System Sciences
29
(1), 1984, August, pp. 48-53
Commutative one/counter languages are regular
M. Latteux
,
G. Rozenberg
Journal of Computer and System Sciences
29
(1), 1984, August, pp. 54-57
On the fixpoints of nondeterministic recursive definitions
Tsong Yueh Chen
Journal of Computer and System Sciences
29
(1), 1984, August, pp. 58-79
A generalized nexttime operator in temporal logic
F. Kröger
Journal of Computer and System Sciences
29
(1), 1984, August, pp. 80-98
Weak equivalence in a class of structured program schemes
D.R. Troeger
Journal of Computer and System Sciences
29
(1), 1984, August, pp. 99-117
Consistency in nondeterministic storage
W.J. Savitch
,
P.W. Dymond
Journal of Computer and System Sciences
29
(1), 1984, August, pp. 118-132
New algorithms for the LCS problem
W.J. Hsu
,
M.W. Du
Journal of Computer and System Sciences
29
(2), 1984, October, pp. 133-152
On cancellation properties of languages which are supports of ration power series
A. Restivo
,
C. Reutenauer
Journal of Computer and System Sciences
29
(2), 1984, October, pp. 153-159
Equivalences among logics of programs
A.R. Meyer
,
J. Tiuryn
Journal of Computer and System Sciences
29
(2), 1984, October, pp. 160-170
Indecomposable maps in tessellation structures of arbitrary dimension
H. Miyajima
,
M. Harao
,
S. Noguchi
Journal of Computer and System Sciences
29
(2), 1984, October, pp. 171-182
Time-space tradeoffs for matrix multiplication and the discrete Fourier transform on any general sequential random-access computer
Yaacov Yesha
Journal of Computer and System Sciences
29
, 1984, October, pp. 183-197
Towards a hierarchy of nets
S. Porat
,
M. Yoeli
Journal of Computer and System Sciences
29
(2), 1984, October, pp. 198-206
Multi-version concurrency control scheme for a database system
S. Muro
,
T. Kameda
,
T. Minoura
Journal of Computer and System Sciences
29
(2), 1984, October, pp. 207-224
On the computational complexity of path cover problems
S. Ntafos
,
T. Gonzalez
Journal of Computer and System Sciences
29
(2), 1984, October, pp. 225-242
The performance of multilective VLSI algorithms
J.E. Savage
Journal of Computer and System Sciences
29
(2), 1984, October, pp. 243-273
The complexity of two-player games of incomplete information
J.H. Reif
Journal of Computer and System Sciences
29
(2), 1984, October, pp. 274-301
On two-tape real-time computation and queues
P.M.B. Vitányi
Journal of Computer and System Sciences
29
(3), 1984, December, pp. 303-311
An application of Cohen's result on star height to the theory of control structures
T. Motoki
Journal of Computer and System Sciences
29
(3), 1984, December, pp. 312-329
Finding Euler tours in parallel
M. Atallah
,
U. Vishkin
Journal of Computer and System Sciences
29
(3), 1984, December, pp. 330-337
GYO reductions, canonical connections, tree and cyclic schemas, and tree projections
N. Goodman
,
O. Shmueli
,
Y.C. Tay
Journal of Computer and System Sciences
29
(3), 1984, December, pp. 338-358
Undecidability of PDL with
L=(a^{2i}>i>0)
(propositional dynamic logic)
D. Harel
,
M.S. Paterson
Journal of Computer and System Sciences
29
(3), 1984, December, pp. 359-365
Extended macro grammars and stack controlled machines
J. Engelfriet
,
G. Slutzki
Journal of Computer and System Sciences
29
(3), 1984, December, pp. 366-408
Seiten 1
2
>