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=16
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
'natural' properties of flowchart step-counting measures
T.P. Baker
Journal of Computer and System Sciences
16
(1), 1978, February, pp. 1-22
Power domains
M.B. Smyth
Journal of Computer and System Sciences
16
(1), 1978, February, pp. 23-36
The dot-depth hierarchy of star-free languages is infinite
J.A. Brzozowski
,
R. Knast
Journal of Computer and System Sciences
16
(1), 1978, February, pp. 37-55
On complements of unary l languages
T. Kove
Journal of Computer and System Sciences
16
(1), 1978, February, pp. 56-66
IO and OI. II
J. Engelfriet
,
E.M. Schmidt
Journal of Computer and System Sciences
16
(1), 1978, February, pp. 67-99
Inference for regular bilanguages
J. Berger
,
C. Pair
Journal of Computer and System Sciences
16
(1), 1978, February, pp. 100-122
Evaluation of polynomials with super-preconditioning
R.J. Lipton
,
L.J. Stockmeyer
Journal of Computer and System Sciences
16
(2), 1978, April, pp. 124-139
Palindrome recognition in real time by a multitape Turing machine
Z. Galil
Journal of Computer and System Sciences
16
(2), 1978, April, pp. 140-157
Linear unification
M.S. Paterson
,
M.N. Wegman
Journal of Computer and System Sciences
16
(2), 1978, April, pp. 158-167
NP
-complete decision problems for binary quadratics
K.L. Manders
,
L. Adleman
Journal of Computer and System Sciences
16
(2), 1978, April, pp. 168-184
On the complexity of some two-person perfect-information games
T.J. Schaefer
Journal of Computer and System Sciences
16
(2), 1978, April, pp. 185-225
The analysis of double hashing
L.J. Guibas
,
E. Szemeredi
Journal of Computer and System Sciences
16
(2), 1978, April, pp. 226-274
Omega-computations on deterministic pushdown machines
R.S. Cohen
,
A.Y. Gold
Journal of Computer and System Sciences
16
(3), 1978, June, pp. 275-300
A trivial algorithm whose analysis isn't
A.T. Jonassen
,
D.E. Knuth
Journal of Computer and System Sciences
16
(3), 1978, June, pp. 301-322
A
2^{2^{2^{pn}}}
upper bound on the complexity of Presburger arithmetic
Derek C. Oppen
Journal of Computer and System Sciences
16
(3), 1978, June, pp. 323-332
Algorithms for updating minimal spanning trees
F. Chin
,
D. Houck
Journal of Computer and System Sciences
16
(3), 1978, June, pp. 333-344
ETOL forms
H.A. Maurer
,
A. Salomaa
,
D. Wood
Journal of Computer and System Sciences
16
(3), 1978, June, pp. 345-361
On the algebraic structure of rooted trees
C.C. Elgot
,
S.L. Bloom
,
R. Tindell
Journal of Computer and System Sciences
16
(3), 1978, June, pp. 362-399
Inductive definability in formal language theory
P.F. Schuler
Journal of Computer and System Sciences
16
(3), 1978, June, pp. 400-412
A lower bound of the
{1\over 2}n^2
on linear search programs for the knapsack problem
D. Dobkin
,
Richard J. Lipton
Journal of Computer and System Sciences
16
, 1978, June, pp. 413-417
On polynomial time isomorphisms of some new complete sets
J. Hartmanis
,
L. Berman
Journal of Computer and System Sciences
16
(3), 1978, June, pp. 418-422
On inverse deterministic pushdown transductions
P.M.B. Vitányi
,
W.J. Savitch
Journal of Computer and System Sciences
16
(3), 1978, June, pp. 423-444
A note on pattern reproduction in tessellation structures
A.G. Barto
Journal of Computer and System Sciences
16
(3), 1978, June, pp. 445-455
Nondeterminism and Boolean operations in PDAS
D. Wotschke
Journal of Computer and System Sciences
16
(3), 1978, June, pp. 456-461