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=4
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Depth-bounded computation
H. Strong
Journal of Computer and System Sciences
4
, 1970, pp. 1-14
Newton's method under mild differentiability conditions
Herbert B. Keller
Journal of Computer and System Sciences
4
, 1970, pp. 15-28
Nonlinear optimal controls
A.A. Goldstein
,
J.S. Meditch
Journal of Computer and System Sciences
4
, 1970, pp. 29-37
A convex programming problem in Banach spaces and applications to optimum control theory
R. Conti
Journal of Computer and System Sciences
4
, 1970, pp. 38-49
Time-restricted sequence generation
Patrick C. Fischer
,
Albert R. Meyer
,
Arnold L. Rosenberg
Journal of Computer and System Sciences
4
, 1970, pp. 50-73
Some results concerning proofs of statements about programs
R.J. Orgass
Journal of Computer and System Sciences
4
, 1970, pp. 74-88
Generation of near-optimal universal Boolean functions
Franco P. Preparata
,
David E. Muller
Journal of Computer and System Sciences
4
, 1970, pp. 93-102
Factorization of operators II: A nonlinear Volterra method for numerical solution of linear Fredholm equations
Alex McNabb
,
Alan Schumitzky
Journal of Computer and System Sciences
4
, 1970, pp. 103-128
On the computational power of pushdown automata
A.V. Aho
,
J.D. Ullman
,
J.E. Hopcroft
Journal of Computer and System Sciences
4
, 1970, pp. 129-136
A completeness problem for pattern generation in tesselation automata
H. Yamada
,
S. Amoroso
Journal of Computer and System Sciences
4
, 1970, pp. 137-176
Relationships between nondeterministic and deterministic tape complexities
Walter Savitch
Journal of Computer and System Sciences
4
, 1970, pp. 177-192
Abstract families of processors
Gene F. Rose
Journal of Computer and System Sciences
4
, 1970, pp. 193-204
Equivalences on program schemes
R. Milner
Journal of Computer and System Sciences
4
, 1970, pp. 205-219
On formalised computer programs
D.C. Luckham
,
D.M.R. Park
,
M.S. Paterson
Journal of Computer and System Sciences
4
, 1970, pp. 220-249
Remarks on the approximation of some nonlinear elliptic equations
R. Temam
Journal of Computer and System Sciences
4
, 1970, pp. 250-259
General properties of star height of regular events
Rina S. Cohen
,
J.A. Brzozowski
Journal of Computer and System Sciences
4
, 1970, pp. 260-280
Star height of certain families of regular events
Rina S. Cohen
Journal of Computer and System Sciences
4
, 1970, pp. 281-297
A characterization of semilinear sets
L.Y. Liu
,
Peter Weiner
Journal of Computer and System Sciences
4
, 1970, pp. 299-307
Principal AFL
Seymour Ginsburg
,
Sheila Greibach
Journal of Computer and System Sciences
4
, 1970, pp. 308-338
Generalized sequential machine maps
James W. Thatcher
Journal of Computer and System Sciences
4
, 1970, pp. 339-367
What makes some language theory problems undecidable
J. Hartmanis
,
J. Hopcroft
Journal of Computer and System Sciences
4
, 1970, pp. 368-376
On the stability of linear recurrence equations with arbitrary time lags
Ramon E. Moore
Journal of Computer and System Sciences
4
, 1970, pp. 377-383
Error detection in formal languages
William Bridges Smith
Journal of Computer and System Sciences
4
, 1970, pp. 385-405
Tree acceptors and some of their applications
John Doner
Journal of Computer and System Sciences
4
, 1970, pp. 406-451
On the structure of subrecursive degrees
Sanat K. Basu
Journal of Computer and System Sciences
4
, 1970, pp. 452-464
Seiten 1
2
>