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=3
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the convergence of nonlinear simultaneous displacements
A. Pasquali
Journal of Computer and System Sciences
3
, 1969, pp. 1-7
Combinatorial equivalence of (0,1) circulant matrices
Melvin A. Breuer
Journal of Computer and System Sciences
3
, 1969, pp. 8-23
Optimal control for a class of distributed parameter systems where the cost functions are norms
Y. Yavin
Journal of Computer and System Sciences
3
, 1969, pp. 24-36
Syntax directed translations and the pushdown assembler
A.V. Aho
,
J.D. Ullman
Journal of Computer and System Sciences
3
, 1969, pp. 37-56
A general theory of extremals
Lucien W. Neustadt
Journal of Computer and System Sciences
3
, 1969, pp. 57-92
The correctness of programs
Zohar Manna
Journal of Computer and System Sciences
3
, 1969, pp. 119-127
Convergence with Hilbert's space filling curve
Arthur R. Butz
Journal of Computer and System Sciences
3
, 1969, pp. 128-146
Parallel program schemata
R.M. Karp
,
R.E. Miller
Journal of Computer and System Sciences
3
, 1969, pp. 147-195
Checking automata and one-way stack languages
Sheila Greibach
Journal of Computer and System Sciences
3
, 1969, pp. 196-217
Cubature and Tchakaloff cone
J.E. Dennis
,
A.A. Goldstein
Journal of Computer and System Sciences
3
, 1969, pp. 218-220
Every semilinear set is a finite union of disjoint linear sets
Ryuichi Ito
Journal of Computer and System Sciences
3
, 1969, pp. 221-231
Scattered context grammars
Sheila Greibach
,
John Hopcroft
Journal of Computer and System Sciences
3
, 1969, pp. 233-247
Towards a theory of semantics and compilers for programming languages
E.K. Blum
Journal of Computer and System Sciences
3
, 1969, pp. 248-275
Writing pushdown acceptors
Georg Mager
Journal of Computer and System Sciences
3
, 1969, pp. 276-318
Properties of syntax directed translations
A.V. Aho
,
J.D. Ullman
Journal of Computer and System Sciences
3
, 1969, pp. 319-334
A decomposition method for structured linear and nonlinear programs
M.D. Grigoriadis
,
K. Ritter
Journal of Computer and System Sciences
3
, 1969, pp. 335-360
Regular expressions and the equivalence of programs
Donald M. Kaplan
Journal of Computer and System Sciences
3
, 1969, pp. 361-386
Elementary indefinite integration theory for the computer
Alfred H., Jr. Morris
Journal of Computer and System Sciences
3
, 1969, pp. 387-408
Some considerations on fuzzy automata
Masaharu Mizumoto
,
Junichi Toyoda
,
Kohkichi Tanaka
Journal of Computer and System Sciences
3
, 1969, pp. 409-422
Referenced automata and metaregular families
R.M. Baer
,
E.H. Spanier
Journal of Computer and System Sciences
3
, 1969, pp. 423-446
The primitive recursive analysis of ordinary differential equations and the complexity of their solutions
John Cleave
Journal of Computer and System Sciences
3
, 1969, pp. 447-455
A generator of context-sensitive languages
Ben Wegbreit
Journal of Computer and System Sciences
3
, 1969, pp. 456-461